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
© 𝜆