The following pages link to (Q4725711):
Displaying 11 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- Monoidal indeterminates and categories of possible worlds (Q2805149) (← links)
- (Q3754604) (← links)
- Categorical semantics for higher order polymorphic lambda calculus (Q3783264) (← links)
- (Q4014097) (← links)
- (Q4327836) (← links)
- (Q4995165) (← links)
- The sheaf-theoretic structure of non-locality and contextuality (Q5135226) (← links)