×

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

MSC:

68N15 Theory of programming languages
03B40 Combinatory logic and lambda calculus
PDF BibTeX XML Cite