✦ LIBER ✦

Equivalence of Some Definitions of Recursion in a Higher Type Object

✍ Scribed by F. Lowenthal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Objects in all Finite Types.by

✍ Review by: Charles Parsons 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB

A General Formulation of Simultaneous In

✍ Peter Dybjer 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 456 KB

Recursion in Objects of Finite Type.by G

✍ Review by: D. A. Clarkehisao 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 317 KB

Equivalent definitions of a perfect syst

✍ V. P. Elizarov 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 635 KB

Explicit definitions of implicitly defin

✍ L. L. Maksimova 📂 Article 📅 1997 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 291 KB

Hispanics: a problem of definition in hi

✍ Gabriela Mendez; M. Fernanda Astiz; Yolima Beltran 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 96 KB