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

Formalization of Type Checking + Semantic Analysis

9 Abril 2024, 13:00 • Alcides Fonseca

---

•