Ambos libros fundamentan la lógica matemática y la teoría de tipos como base para la programación correcta y la demostración teórica.
Pruebas y Tipos
por Jean-Yves Girard · 1989
Ver sugerenciasSinopsis
Este libro aborda el trasfondo matemático de la aplicación de aspectos de la lógica (específicamente la correspondencia entre proposiciones y tipos) a la informática. Explora la relación entre la demostración matemática y los sistemas de tipos en programación.
Sé el primero en valorar este libro.
Más de Jean-Yves Girard
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora cómo los conceptos del cálculo lambda se relacionan con la lógica y la informática, similar a la correspondencia en 'Pruebas y Tipos'.
Se centra en la teoría de la prueba y muestra cómo las pruebas pueden ser analizadas matemáticamente, resonando con la estructura lógica del libro de referencia.
Al igual que Girard, este texto también profundiza en la relación entre tipos y programación funcional, ampliando la discusión sobre lógica y programación.
Presenta una conexión estructural entre formalismos clave de la computación, similar a cómo Girard aborda la relación entre demostraciones y sistemas de tipos.