No classes, due to Ciências Day

23 Abril 2024, 15:00 • Alcides Fonseca

No classes, due to Ciências Day

---

Test 3

23 Abril 2024, 13:00 • Alcides Fonseca

Test 3

---

Semantics Exercices

16 Abril 2024, 15:00 • Alcides Fonseca

Exercícios práticos de semântica.

---

Program Semantics

16 Abril 2024, 13:00 • Alcides Fonseca

* Denotacional semantics

---

Type Theory exercises

9 Abril 2024, 15:00 • Alcides Fonseca

Type Theory exercises

---