El Cálculo de Construcciones
por Thierry Coquand, Gérard Huet · 1988
Ver sugerenciasSinopsis
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.
Sé el primero en valorar este libro.
Más de Thierry Coquand
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.