Lab: The Untyped Lambda Calculus in Prolog

(Programming Paradigms and Formal Semantics)

© 2009–2010, Ralf Lämmel, Universität Koblenz-Landau

  1. Student presentations on previous assignment
  2. Reference solution for previous assignment
  3. Preparation: The NB language
  4. Substitution
  5. Free variables in lambda terms
  6. Evaluation of lambda terms
  7. Introduction to the new assignment