Cálculo de Construcciones
1988·no ficcion
Un trabajo seminal en lógica y fundamentos de la informática que introduce un sistema formal para el desarrollo de programas correctos y la demostración de teoremas, basado en la teoría de tipos.
TC
TC
Thierry Coquand
francés
Thierry Coquand es un matemático francés conocido por su trabajo en teoría de la computación y fundamentos de la matemática. Su investigación ha sido fundamental en el desarrollo de la lógica y la teoría de tipos en matemáticas.
Obras en el archivo
2 títulos
El Cálculo de Construcciones
1988·no ficcion
Propuesta y desarrollo del Cálculo de Construcciones, un sistema de tipos de orden superior que es la base para el asistente de pruebas Coq y que unifica el lambda cálculo, la lógica de predicados de orden superior y la teoría de tipos.
Autores relacionados
Aparecen junto a Thierry Coquand en búsquedas del archivo