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