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