El Cálculo de Construcciones desarrolla un sistema de tipos que enlaza conceptualmente la lógica y la programación, similar a la correspondencia explorada por Jervell.
La Correspondencia Curry-Howard y Sus Aplicaciones
por Herman Ruge Jervell · 1993
Ver sugerenciasSinopsis
Una introducción concisa a la Correspondencia Curry-Howard, que establece un paralelismo fundamental entre sistemas de deducción lógica y sistemas de lambda cálculo, es decir, entre pruebas y programas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Cálculo Lambda y Combinadores examina fundamentos del cálculo lambda, esenciales para el lenguaje funcional, al igual que la conexión entre pruebas y programas en el libro de referencia.
Teoría de Tipos y Computación: Fundamentos y Aplicaciones
Bengt Nordström, Kent Petersson, Jan M. Smith
1990·divulgacion
Teoría de Tipos y Computación introduce la teoría de tipos constructivos, relacionándolo con la lógica y programación, en sintonía con la idea central de Jervell.
Sistemas de tipos y programación funcional profundiza en la teoría de tipos en la programación, aludiendo a la correspondencia Curry-Howard que Jervell presenta.
El Cálculo Lambda y sus Aplicaciones explora el cálculo lambda y su vínculo con la teoría de la computación, que también es crucial en la obra de Jervell.
Pruebas y Tipos investiga la conexión entre demostraciones y sistemas de tipos, reflejando el enfoque de Jervell sobre la relación entre lógica y programación.