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).
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 |