Lab: The Untyped Lambda Calculus in Prolog
(Programming Paradigms and Formal Semantics)
© 2009–2010, Ralf Lämmel, Universität Koblenz-Landau
- Student presentations on previous assignment
- Reference solution for previous assignment
- Preparation: The NB language
- Substitution
- Free variables in lambda terms
- Evaluation of lambda terms
- Introduction to the new assignment