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