Pages that link to "Item:Q5144656"
From MaRDI portal
The following pages link to A monad for full ground reference cells (Q5144656):
Displayed 5 items.
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- (Q6068935) (← links)
- An algebraic theory for shared-state concurrency (Q6176562) (← links)
