Preorders on Monads and Coalgebraic Simulations

DOI10.1007/978-3-642-37075-5_10zbMath1260.68242OpenAlexW58003850MaRDI QIDQ4910417

Shin-ya Katsumata, Tetsuya Sato

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_10

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (4)

Identifying all preorders on the subdistribution monad ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Divergences on monads for relational program logics ⋮ Codensity Lifting of Monads and its Dual

This page was built for publication: Preorders on Monads and Coalgebraic Simulations