Temas Subtemas
Principios de diseño de lenguajes de programción Nombres, ámbito y ligazón
Flujo de control
Tipos de datos
Subrutinas
Lenguajes orientados a objetos Fundamentos de diseño de lenguajes orientados a objetos
Problemas de tipado de los lenguajes orientados a objetos
Formalización de los sistemas de tipos Semántica operacional, denotacional y axiómática
Introducción al lambda cálculo
Lambda cálculo tipado
Computabilidad y complejidad Computabilidad y lambda cálculo
Clases de complejidad