𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Introduction to combinators and λ-calculus

Publisher
Springer Netherlands
Year
1990
Tongue
English
Weight
118 KB
Volume
19
Category
Article
ISSN
0167-8019

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numeration Models of λ-Calculus
Numeration Models of λ-Calculus
✍ Akira Kanda 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 644 KB

## XUMERATIOK MODELS OF A-CALCULUS by AKIRA KANDA in Vancouver (Canada)') ## 81. A-ealculns The A-calculus developed by CHURCH [2] is a formal system designed to study the equivalence of functions composed from other functions in certain primitive ways. In this section, we briefly overview this

Lambda-calculus, combinators and functio
Lambda-calculus, combinators and functional programming: G. Revesz, Cambridge Univ. Press, 1988, 200 pp.
✍ Gian-Carlo Rota 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 21 KB

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