Más de Henk Barendregt
Ver autor →Otras obras del mismo autor en el catálogo
Cálculo lambda: Tipos, reglas y sistemas abstractos
1984
El cálculo lambda y sus extensiones
1984
Categories of Effective Algebras
1988
Linguistic Algorithms
1989
Lambda Calculi with Types
1991
An Introduction to Lambda Calculus for Computer Science
1991
The Lambda Calculus: Its Syntax and Semantics
1991
Proofs and Types
1995
Introduction to the Theory of Computation
1997
The Essence of Programming Languages
1997
Proof Theory and the Foundations of Mathematics
2000
Types, Sets and Cabal
2002
Functional Programming in the Real World
2005
Computability and Logic
2008
Logic, Language and Computation
2013
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.