Barendregt, H. P. The lambda calculus, its syntax and semantics. (English) Zbl 0467.03010 Studies in Logic and the Foundations of Mathematics, Vol. 103. Amsterdam - New York - Oxford: North-Holland Publishing Company. XIV, 615 p. $ 109.75; Dfl. 225.00 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 ReviewsCited in 189 Documents MSC: 03B40 Combinatory logic and lambda calculus 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03D99 Computability and recursion theory 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations Keywords:type-free lambda-calculus PDF BibTeX XML