Updated 6 months ago
https://github.com/adamouization/lambda-calculus-proofs
Short proofs about using the Lambda-Calculus as a Programming Language (2017)
Short proofs about using the Lambda-Calculus as a Programming Language (2017)