Typed arithmetic expressions

1 Outubro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Exercises 10 and 13, plus 24 and 25 from sheet 1

---

The untyped lambda calculus

1 Outubro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

• The untyped lambda calculus

---

Untyped and typed arithmetic expressions

24 Setembro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Exercises 7, 8, 9, 11, 12, 21 - 25 from sheet 1

---

Typed arithmetic expressions

24 Setembro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Safety = Progress + Preservation

---

Untyped arithmetic expressions

17 Setembro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Exercises 1, 2, 3, 5, 6, 13, 14, 15, 16, 17 from sheet 1

---