✦ LIBER ✦

Some models of combinatory logic

✍ Scribed by D. Skordev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Inconsistencies in Illative Combina

✍ M. W. Bunder 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB

Some generalizations to two systems of s

✍ Bunder, M. W. 📂 Article 📅 1987 🏛 Springer-Verlag ⚖ 314 KB

Combinatory logic and the axiom of choic

✍ Henk Barendregt 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 849 KB

Some remarks about the connections betwe

✍ Hindley, Roger ;Mitschke, Gerd 📂 Article 📅 1977 🏛 Springer-Verlag ⚖ 252 KB

Some lattice models of bilinear logic

✍ J. Lambek 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 400 KB

OTTER experiments in a system of combina

✍ Thomas Jech 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 668 KB