✦ LIBER ✦

Computability and λ-Definability

✍ Scribed by A. M. Turing

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Representation theorems for transfinite

✍ Dag Normann 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 152 KB

λ-Definability and Recursivenessby S. C.

✍ Review by: Rózsa Péter 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 345 KB

Computability and λ-Definabilityby A. M.

✍ Review by: Rozsa Peter 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 260 KB

Computability by means of effectively de

✍ Ivan N. Soskov 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 689 KB

λ-definable functionals andβη conversion

✍ Statman, R. 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 302 KB

Definability and textures

✍ Murat Diker 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 336 KB