Abstract
In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. This paper elaborates two new unifying ideas: (i) coalgebraic,draftrules trace semantics is naturally presented in terms of corecursive algebras, and (ii) all three approaches arise as instances of the same abstract setting. Our perspective puts the different approaches under a common roof and allows to derive conditions under which some of them coincide.
Original language | English |
---|---|
Pages (from-to) | 1482–1525 |
Number of pages | 44 |
Journal | Journal of Logic and Computation |
Volume | 31 |
Issue number | 6 |
Early online date | 23 Aug 2021 |
DOIs | |
Publication status | Published - Sept 2021 |
Bibliographical note
Publisher Copyright:© 2021 The Author(s) 2021. Published by Oxford University Press.
Keywords
- Coalgebra
- corecursive algebras
- trace semantics