Resumen de Una teoría de tipos estructurados de datos
Presentación de un nuevo método para la especificación de tipos estructurados de datos basado en su definición como espacios de funciones. Siendo sus principales características la constructividad y la independencia de modelos previos. Se estudia, además la aplicación del método de especificación a la semántica denotacional de lenguajes de programación y a la especificación algebraica de tipos de datos.
