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.
1988·divulgacion
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.
1988·ensayo
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.
Aparecen junto a Thierry Coquand en búsquedas del archivo
