✦ LIBER ✦

Adding algebraic rewriting to the untyped lambda calculus

✍ Scribed by Daniel J. Dougherty

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Confluence of the lambda calculus with l

✍ Fritz Müller 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 611 KB

Construction of the model of the lambda

✍ Ruzhan Lu; Zheng Zhang; Yongqiang Sun 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 253 KB

Functions over free algebras definable i

✍ Daniel Leivant 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 805 KB

A Finite Equational Axiomatization of th

✍ Antonino Salibra; Robert Goldblatt 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 371 KB

From Functional Programs to Interaction

✍ Horatiu Cirstea; Germain Faure; Maribel Fernández; Ian Mackie; François-Régis Si 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 436 KB

Boolean connection algebras: A new appro

✍ J.G. Stell 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 221 KB