Readings Information about the lambda calculus can be found on the stanford encyclopedia of philosophy on wikipedia in a short paper by Achim Jung or in a longer paper by the master himself