Pages that link to "Item:Q2474444"
From MaRDI portal
The following pages link to A game semantics of names and pointers (Q2474444):
Displaying 8 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- Full Abstraction for Reduced ML (Q3617719) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)
