scientific article; zbMATH DE number 7449991
From MaRDI portal
Publication:3385646
Authors: Tom Hirschowitz 
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1908.11169
Title of this publication is not available (Why is that?)
Recommendations
- A monad for full ground reference cells
- Codensity and the Giry monad
- scientific article; zbMATH DE number 7559272
- From corecursive algebras to corecursive monads
- Coalgebraic monads
- Affine Monads and Side-Effect-Freeness
- scientific article; zbMATH DE number 1231629
- The formal theory of multimonoidal monads
- Weak Bisimulations for the Giry Monad (Extended Abstract)
- Monadic convergence structures revisited
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sheaves in geometry and logic: a first introduction to topos theory
- Structured operational semantics and bisimulation as a congruence
- A structural approach to operational semantics
- Comparing operational models of name-passing process calculi
- Bisimulation can't be traced
- SOS formats and meta-theory: 20 years after
- Title not available (Why is that?)
- A calculus of communicating systems
- Coinduction up-to in a fibrational setting
- Compositional SOS and beyond: A coalgebraic view of open systems
- Categorical homotopy theory
- Basic Category Theory
- On the construction of free algebras for equational systems
- Connected limits, familial representability and Artin glueing
- Title not available (Why is that?)
- Shapely monads and analytic functors
Cited In (2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3385646)
