✦ LIBER ✦

Recursive Density Types. I

✍ Scribed by H. Gonshor and G. Rice

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Equivalence Types and Groups

✍ Matthew J. Hassett 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 973 KB

On Resemblance and Recursive Isomorphism

✍ E.A. Polyakov 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 129 KB

An Algebraic View on Recursive Types

✍ Michael Marz 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 95 KB

Infinite Products of Recursive Equivalen

✍ Don C. Ferguson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 774 KB

Types of similarity and of recursive iso

✍ E. A. Polyakov 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 529 KB

On the resemblance and recursive isomorp

✍ N. V. Litvinov 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 178 KB