✦ LIBER ✦

Invariants of monadic coalgebras

✍ Scribed by Dragan Mašulović

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 210 KB
Volume: 44
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80912-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebraic Monads

✍ Neil Ghani; Christoph Lüth; Federico De Marchi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 298 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

On tree coalgebras and coalgebra present

On tree coalgebras and coalgebra presentations

✍ J. Adámek; H.-E. Porst 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 348 KB

For deterministic systems, expressed as coalgebras over polynomial functors, every tree t (an element of the ÿnal coalgebra) turns out to represent a new coalgebra At. The universal property of this family of coalgebras, resembling freeness, is that for every state s of every system S there exists a

Semiperfect coalgebras

✍ Bertrand I-peng Lin 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 971 KB

Coproper coalgebras

✍ H.P Allen; D Trushin 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 669 KB