Lab: Typed Lambda Calculi 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. Untyped lambda calculus with numbers and booleans
  4. Simply typed lambda calculus with numbers and booleans
  5. Fixed point computation
  6. Introduction to the new assignment