The Lambda Calculus: Its Syntax and Semantics
por Henk Barendregt · 1991
Sinopsis
Este libro ofrece una perspectiva profunda sobre el cálculo lambda, explorando tanto su sintaxis como su semántica, y proporcionando un análisis riguroso y detallado que es fundamental para comprender el lenguaje de la computación moderna.
Sé el primero en valorar este libro.
Más de Henk Barendregt
Ver autor →Otras obras del mismo autor en el catálogo
El cálculo lambda y sus extensiones
1984
Categories of Effective Algebras
1988
sin portada
Linguistic Algorithms
1989
An Introduction to Lambda Calculus for Computer Science
1991
Lambda Calculi with Types
1991
sin portada
Proofs and Types
1995
The Essence of Programming Languages
1997
sin portada
Type Systems
1997
Introduction to the Theory of Computation
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
sin portada
Logic, Language and Computation
2013
The Logical Foundations of Mathematics
2021
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.