✦ LIBER ✦

Lambda-calculus, combinators and functional programming: G. Revesz, Cambridge Univ. Press, 1988, 200 pp.

✍ Scribed by Gian-Carlo Rota

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 21 KB
Volume: 84
Category: Article
ISSN: 0001-8708
DOI: 10.1016/0001-8708(90)90053-p

No coin nor oath required. For personal study only.

✦ Synopsis

Finally, a clear, no-nonsense survey of what increasingly appears to be the first successful theory of "types," namely, the lambda calculus of Church and its offshoots. Sometimes we wonder whether certain branches of mathematics would stay alive without the injection of problematic vigor that comes from computer science. At any rate, we are thankful to the computer scientists for their help in keeping mathematics healthy.