Sumários
The untyped lambda calculus; The simply typed lambda calculus
19 Outubro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
The untyped lambda calculus; The simply typed lambda calculus
The untyped lambda calculus
12 Outubro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
The untyped lambda calculus
Typed arithmetic expressions; The untyped lambda calculus
12 Outubro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Typed arithmetic expressions; The untyped lambda calculus
Untyped and typed arithmetic expressions
28 Setembro 2022, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Untyped and typed arithmetic expressions
Untyped arithmetic expressions
28 Setembro 2022, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos