Barendregt, H. P. Functional programming and lambda calculus. (English) Zbl 0900.68110 van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 321-363 (1990). For the entire collection see [Zbl 0714.68001]. Cited in 13 Documents MSC: 68N15 Theory of programming languages 03B40 Combinatory logic and lambda calculus PDF BibTeX XML Cite \textit{H. P. Barendregt}, in: Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 321--363 (1990; Zbl 0900.68110) OpenURL