Pages that link to "Item:Q5144656"
From MaRDI portal
The following pages link to A monad for full ground reference cells (Q5144656):
Displaying 3 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)
