References¶
No work could be done without the work of previous ones. Here are some
references that has been used with the implementation and the documentation of
the calchylus module:
Lambda Calculus with Types by Henk Barendregt, Wil Dekkers, Richard Statman
Concepts in Programming Languages by John C. Mitchell
Lecture Notes on the Lambda Calculus by Peter Selinger
A Brief History of Computing by Gerard O’Regan
The Lambda Calculus in the Stanford Encyclopedia of Philosophy.