✦ LIBER ✦

Efficient Combinatory Reduction

✍ Scribed by John Staples

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combinatory weak reduction in lambda cal

✍ Naim Çağman; J.Roger Hindley 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 519 KB

The discrimination theorem holds for com

✍ R. Hindley 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Expressing combinatory reduction systems

✍ Clara Bertolissi; Horatiu Cirstea; Claude Kirchner 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 755 KB

Efficient Realization of Coordinate Stru

✍ Michael White 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 283 KB

Combinatory Reductions and Lambda Reduct

✍ Roger Hindley 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 632 KB

Reductions in Combinatorial Synthesis

✍ Christopher P. Corrette; Conrad W. Hummel 📂 Article 📅 2004 🏛 John Wiley and Sons ⚖ 48 KB