Tests

Church numerals are one of the most common number representations in Lambda calculus.

just the Lambda term, as it is more conventionally called

Undecidability proof of the halting problem using lambda calculus

https://yinwang0.wordpress.com/2012/10/25/halting/

Computability and Complexity - From a Programming Perspective Neil D. Jones

http://www.diku.dk/~neil/comp2book2007/book-whole.pdf

Lambda Calculus, Prof. Tobias Nipkow (2012)

https://www21.in.tum.de/teaching/logik/SS13/lambda-en.pdf

Decidability for Non-Standard Conversions in Typed Lambda-Calculi, Freiric Barral (2008)

http://www2.tcs.ifi.lmu.de/~barral/doc/BarralThesis.pdf

Short Introduction to the Lambda-calculus, Franco Barbanera ()

http://www.dmi.unict.it/~barba/LinguaggiII.html/READING_MATERIAL/LAMBDACALCULUS/LAMBDACALCULUS.1.HTM

Collected Lambda Calculus Functions

http://jwodder.freeshell.org/lambda.html

Deriving Recursive Programs

http://faculty.ycp.edu/~dhovemey/fall2011/cs340/lecture/lecture14.html

© 𝜆