##
*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