The following pages link to Bad Variables Under Control (Q3608438):
Displaying 6 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- Full Abstraction Without Synchronization Primitives (Q3178268) (← links)
- Full Abstraction for Reduced ML (Q3617719) (← links)
- Global State Considered Helpful (Q5415641) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
