✦ LIBER ✦

Equational Lifting Monads

✍ Scribed by Anna Bucalo; Carsten Führmann; Alex Simpson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logical equations in monadic logic

✍ G. Mints; T. Hoshi 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 230 KB

Coalgebraic Monads

✍ Neil Ghani; Christoph Lüth; Federico De Marchi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Uniformly constructive monads

✍ John L. MacDonald; Arthur Stone 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 945 KB

Pseudo-commutative Monads

✍ Martin Hyland; John Power 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 148 KB

Monads in Semantics

✍ Philip S. Mulry 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 693 KB

Variations on Algebra: Monadicity and Ge

✍ Edmund Robinson 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 193 KB