La Teoría de Construcción de Tipos ha sido un tema de interés en la investigación tanto para los científicos informáticos, matemáticos, lógicos y filósofos durante varios años.

En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría informal de conjuntos, o al estudio de tales formalismos en general. En la teoría de lenguajes de programación, una rama de las ciencias de la computación, la teoría de tipos puede referirse al diseño, análisis y estudio de los sistemas de tipos, aunque algunos científicos de la computación limitan el significado del término al estudio de formalismos abstractos como el cálculo lambda tipado.

(Wikipedia)

Hasta ahora la mayor parte del material sobre teoría de tipos sólo ha aparecido en las actas de congresos y en trabajos de investigación, por lo que parece apropiado tratar de establecer el estado actual de desarrollo en una forma accesible a los estudiantes de último curso, estudiantes de postgrado, investigadores y profesores de ciencias de la computación y afines - por lo tanto, para todos ellos es este libro.

Este manual, editado en 1999, se encuentra actualmente fuera de los circuitos de impresión habiendo sido liberado por su autor para dominio público.