Sumários
Typed lambda-calculus & Simple extensions
22 Outubro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
- Typed lambda-calculus: The preservation result.
- Simple extensions: Base types, Unit type, sequencing, ascription, let and pairs.
The untyped lambda calculus
8 Outubro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Exercise sheet 2, exercises 1, 3, 6, 7, 10, 11, 13.
The untyped and the simply typed lambda calculus
8 Outubro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
- The untyped lambda calculus
- Simply typed lambda calculus
- Implementation of the lambda calculus