IA014 Advanced Functional Programming
Lecture II - Untyped Lambda Calculus
Lecture dates
- 10. 3. 2021 [syntax, semantics; slides 1-25]
- 17. 3. 2021 [encoding mathematics, applied lambda calculi, recursion; slides 26-49]
Reading
There are many different texts on (untyped) lambda calculus you can use. To get you started, here is a selection:
Books
- H. Barendregt: Lambda calculus : its syntax and semantics. Rev. ed. Amsterdam: Elsevier, 1998. xv, 621 s. ISBN 0-444-86748-1
- J. Hindley, P. Seldin: Introduction to combinators and the lambda-calculus. Cambridge: Cambridge University Press, 1986. 359 s. ISBN 0-521-31839-4.
- J. Zlatuška: Lambda-kalkul. Vyd. 1. Brno: Masarykova univerzita, 1993. 264 s. ISBN 80-210-0826-1
The last book is in Czech. Pierce's book also covers lambda calculus in necessary detail.
Other sources
H. Barendregt: Introduction to lambda calculus [PDF]
Wikipedia entry on Lambda Calculus
Stanford Encyclopedia of Philosophy entry on Lambda Calculus
H. Barendregt: Lambda Calculi with Types [PDF]
Tools
Lambda
Lambda calculus term evaluator (by Jakub Kadlecaj)
Slides
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/02-lambda.pdf
Exercises
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/exercises/ex01.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/exercises/ex02.pdf
Lecture recordings
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/vid/2021-03-10_ia014.mp4
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/IA014/um/vid/2021-03-17_ia014.mp4