Pages that link to "Item:Q2842823"
From MaRDI portal
The following pages link to A Categorical Semantics of Higher Order Store (Q2842823):
Displaying 9 items.
- Imperative programs as proofs via game semantics (Q388203) (← links)
- A calculus of coroutines (Q817847) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Locally Boolean domains (Q2566030) (← links)
- Some Programming Languages Suggested by Game Models (Extended Abstract) (Q2805154) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- Understanding Game Semantics Through Coherence Spaces (Q3178256) (← links)
- Global State Considered Helpful (Q5415641) (← links)
