Simple extensions

13 Novembro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Simple extensions

---

Subtyping

13 Novembro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

---

Simply-typed lambda calculus + Simple extensions

6 Novembro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Simply-typed lambda calculus + Simple extensions

---

Simple extensions

6 Novembro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Pairs, let bindings, tuples, records, variants, general recursion.

---

The lambda calculus

30 Outubro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Untyped and typed lambda calculus

---