✦ LIBER ✦

On second-order iterative monads

✍ Scribed by Jiří Adámek; Stefan Milius; Jiří Velebil

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantification and Second-Order Monadici

✍ Paul M. Pietroski 📂 Article 📅 2003 🏛 Blackwell Publishing 🌐 English ⚖ 223 KB

Monadic second-order model-checking on d

✍ Yann Strozecki 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 411 KB

Monadic Second-Order Definable Text Lang

✍ H. J. Hoogeboom; P. ten Pas 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 235 KB

Completely iterative algebras and comple

✍ Stefan Milius 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 366 KB

Some Remarks on Finitary and Iterative M

✍ Jiří Adámek; Stefan Milius; Jiří Velebil 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 147 KB

On Rational Monads and Free Iterative Th

✍ Jiří Adámek; Stefan Milius; Jiří Velebil 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 276 KB