✦ LIBER ✦

The search for a reduction in combinatory logic equivalent to -reduction

✍ Scribed by Jonathan P. Seldin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axioms for Strong Reduction in Combinato

✍ Roger Hindley 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 900 KB

Strong Reduction and Normal Form in Comb

✍ Bruce Lercher 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 875 KB

Strong Reduction and Normal Form in Comb

✍ Review by: Luis E. Sanchis 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 225 KB

Equivalence of the Drinfeld-Sokolov redu

✍ Marco Pedroni 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 554 KB

Logical Consequences: A Key to the Reduc

✍ Don Dinkmeyer and Don Dinkmeyer, Jr. 📂 Article 📅 1976 🏛 SAGE Publications 🌐 English ⚖ 730 KB

A combinatorial proof of the reduction f

✍ Soojin Cho; Eun-Kyoung Jung; Dongho Moon 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 338 KB