Pages that link to "Item:Q2842823"
From MaRDI portal
The following pages link to A categorical semantics of higher order store (Q2842823):
Displaying 12 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)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- Global State Considered Helpful (Q5415641) (← links)
- A category-theoretic semantics for unbounded indeterminacy (Q5887523) (← links)
- An axiomatic account of a fully abstract game semantics for general references (Q6612783) (← links)