Sumários

Typed lambda-calculus & Simple extensions

30 Outubro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Typed lambda-calculus: The progress and the preservation results.
Simple extensions: Base types, Unit type, sequencing, ascription.

The untyped lambda calculus

23 Outubro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

The untyped lambda calculus

The untyped and the simply typed lambda calculus

23 Outubro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

The untyped lambda calculus
Simply typed lambda calculus
Implementation of the lambda calculus

Untyped and typed arithmetic expressions

16 Outubro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Untyped and typed arithmetic expressions

The untyped lambda calculus

16 Outubro 2024, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

The untyped lambda calculus