by H. P. Barendregt
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Lambda calculus · Grammatical categories
Language & grammar
2005
Lambda calculus · Congresses
Typed Lambda Calculi and Applications
1899
Machine theory · Lambda calculus
Abstract computing machines
Mathematical Logic and Formal Languages · Symbolic and mathematical Logic
2013
Lambda calculus · Semantics
Domains and lambda-calculi
1998
Lambda calculus · Calculus
Lambda Calculi
1994
Curry-Howard isomorphism · Lambda calculus
Lectures on the Curry-Howard isomorphism
2006
1999
Lambda calculus · Categories (Mathematics)
Categories for types
1993
Categorial grammar · Lambda calculus
Language in action
1991
Lambda calculus · Logic, symbolic and mathematical
The parametric lambda calculus
2004
Logic design · Computer science
Pattern Calculus
2009
Logic design · Symbolic and mathematical Logic
2011
Calculus, problems, exercises, etc. · Calculus
Calculus
Mechanics · Dynamics of a particle
Philosophiae naturalis principia mathematica
1687
Graphic methods · Functions
Precalculus
1900
Calculus · Textbooks
1980
Calculus · Functions
A Course of Pure Mathematics
1908
