Pages that link to "Item:Q2851332"
From MaRDI portal
The following pages link to Semantics for local computational effects (Q2851332):
Displaying 8 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Stateful runners of effectful computations (Q2520704) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- A Recipe for State-and-Effect Triangles (Q5275347) (← links)
- Foundations of Software Science and Computation Structures (Q5308467) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)