Temas Subtemas
Formalización dos sistemas de tipos Semántica operacional, denotacional e axiómática
Lambda cálculo non tipado
Lambda cálculo tipado
Subtipado
Linguaxes orientadas a obxectos Fundamentos de deseño de linguaxes orientadas a obxectos
Problemas de tipado das linguaxes orientadas a obxectos
Principios de deseño de linguaxes de programción Nomes, ámbito e ligazón
Fluxo de control
Tipos de datos
Subrutinas
Computabilidade e complexidade Computabilidade e lambda-cálculo
Clases de complexidade