Sumários
The lambda calculus
9 Novembro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
The lambda calculus
Overview of the course
9 Novembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Overview of the course
No Class _ CIÊNCIAS Research Day 2022
2 Novembro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
No Class _ CIÊNCIAS Research Day 2022
No Class _ CIÊNCIAS Research Day 2022
2 Novembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
No Class _ CIÊNCIAS Research Day 2022
The untyped lambda calculus
19 Outubro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos