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