The following pages link to Global State Considered Helpful (Q5415641):
Displaying 5 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
