La Teoría de las Formas Computacionales
1966·no ficcion
Un trabajo fundamental que explora cómo las formas de los programas y los datos pueden ser representadas y manipuladas formalmente, sentando las bases para una comprensión más profunda de la semántica de los lenguajes de programación en un contexto que precede a gran parte de la teoría de compiladores moderna.