✦ LIBER ✦

Recursive Data Types in Algebraically ω-Complete Categories

✍ Scribed by J. Adamek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coinduction for recursive data types: pa

✍ James Worrell 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 1020 KB

Approximate completeness in algebras of

✍ Yu. V. Golunkov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 563 KB

The completeness of the algebraic specif

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 715 KB

Degree of undecidability of the complete

✍ Yu. V. Golunkov 📂 Article 📅 1988 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 356 KB

Connectedness of the invertibles in cert

✍ You Qing Ji; Yuan Hang Zhang 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 137 KB

Monads and algebras in the semantics of

✍ Philip S. Mulry 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 901 KB