Toward a Uniform Theory of Effectful State Machines

DOI10.1145/3372880zbMath1446.68085arXiv1401.5277OpenAlexW2897326228WikidataQ130981146 ScholiaQ130981146MaRDI QIDQ5121274

Stefan Milius, Alexandra Silva, Sergei S. Goncharov

Publication date: 11 September 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.5277

zbMATH Keywords

coalgebrasmonadsKleene theoremside-effectsbialgebraic semantics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (3)

Stream processors and comodels ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ Coalgebraic semantics for nominal automata

This page was built for publication: Toward a Uniform Theory of Effectful State Machines