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