Estudo do cálculo lambda e de semânticas operacionais e denotacional de linguagens de programação.
- Teacher: João Luis Alves Barbosa
- Teacher: António Mário da Silva Marcos Florido
Período: 1ºSemestre
Unidade Orgânica: FCUP
Ano Letivo: 2025/2026
Código: CC4013