Lecture dates

28. 2. 2017 (Part I - Formal development, slides 1-24), 7. 3. 2017

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]

Lambda calculus evaluator

Lambda calculus reduction workbench (IT University of Copenhagen)

Slides