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