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)