✦ LIBER ✦

Axioms for Strong Reduction in Combinatory Logic

✍ Scribed by Roger Hindley

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axioms for Strong Reduction in Combinato

✍ Review by: Haskell B. Curry 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 366 KB

Strong Reduction and Normal Form in Comb

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

The Decidability of Hindley's Axioms for

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

The search for a reduction in combinator

✍ Jonathan P. Seldin 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 269 KB

Strong Reduction and Normal Form in Comb

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

Strong Axioms of Infinity in NFU

✍ M. Randall Holmes 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 624 KB