Pages that link to "Item:Q5415644"
From MaRDI portal
The following pages link to Tensors of Comodels and Models for Operational Semantics (Q5415644):
Displaying 8 items.
- Programming with algebraic effects and handlers (Q478396) (← links)
- Stateful runners of effectful computations (Q2520704) (← links)
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
- Runners in Action (Q5041086) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Stream processors and comodels (Q5883748) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)
