✦ LIBER ✦

An extension of lambda-calculus for functional programming

✍ Scribed by Gyorgy Revesz

Publisher: Elsevier Science
Year: 1984
Tongue: English
Weight: 625 KB
Volume: 1
Category: Article
ISSN: 0743-1066
DOI: 10.1016/0743-1066(84)90012-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Good introduction to functional programm

Good introduction to functional programming and lambda calculus: An introduction to functional programming through lambda calculusG Michaelson Addison-Wesley, Wokingham, UK (1988) 320 pp hardback

✍ D Ince 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 105 KB

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

An Extension of the Équivalence Calculus

✍ Hugues Leblanc 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

A list-oriented extension of the lambda-

A list-oriented extension of the lambda-calculus satisfying the Church—Rosser theorem

✍ György E. Révész 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 871 KB

An extension of the Deontic Calculus DSC

📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 14 KB

An extension of the intuitionsitic propo

An extension of the intuitionsitic propositional calculus

✍ Kenneth A. Bowen 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 337 KB