On Kleisli liftings and decorated trace semantics
It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence coincides with language equivalence (instead of bisimilarity) when nondeterministic automata are modelled as coalgebras living in the Kleisli...
Gespeichert in:
| Veröffentlicht in: | Electronic Notes in Theoretical Informatics and Computer Science Jg. 4 - Proceedings of... |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
11.12.2024
|
| ISSN: | 2969-2431, 2969-2431 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!