The coinductive resumption monad

DOI10.1016/j.entcs.2014.10.015zbMath1337.68189WikidataQ113317839 ScholiaQ113317839MaRDI QIDQ283770

Maciej Piróg, Jeremy Gibbons

Publication date: 13 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.10.015

zbMATH Keywords

coalgebra; completely iterative monads; resumptions

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads