Catálogo
40.144 obras en el archivo
Mostrando 6 de 6 obras en “calculo lambda”
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson
no ficcion
El Cálculo Lambda y sus Aplicaciones
Dirk Van Dalen
calculo lambda
El cálculo lambda y sus extensiones
Henk Barendregt
no ficcion
Introducción a la lógica matemática
Alonzo Church
filosofia
Tipos y Polimorfismo en Lenguajes de Programación
Luca Cardelli
no ficcion
El Cálculo de las Lámparas
Y. S. Tseytin
ciencia ficcion