
por Herman Ruge Jervell · 1993
Sinopsis
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 relacionados según distintos criterios de búsqueda