✦ LIBER ✦

Combinatory Logic.by Haskell B. Curry; J. Roger Hindley; Jonathan P. Seldin

✍ Scribed by Review by: Henk Barendregt

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Introduction to Combinatory Logic.by J.

✍ Review by: Henk Barendregt 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 85 KB

Axioms for Strong Reduction in Combinato

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

Introduction to combinators and λ-calcul

✍ Chris Hankin 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 217 KB