✦ LIBER ✦

Coalgebraic Monads

✍ Scribed by Neil Ghani; Christoph Lüth; Federico De Marchi

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 298 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80360-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Invariants of monadic coalgebras

✍ Dragan Mašulović 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 210 KB

Algebras, Coalgebras, Monads and Comonad

Algebras, Coalgebras, Monads and Comonads

✍ Neil Ghani; Christoph Lüth; Federico de Marchi; John Power 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 224 KB

Coalgebras and monads in the semantics o

Coalgebras and monads in the semantics of Java

✍ Bart Jacobs; Erik Poll 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 225 KB

This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the veriÿcation of (sequential) Java programs using proof tools in the LOOP project at the

Towards coalgebraic behaviourism

✍ Dragan Mašulović 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 450 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