The following pages link to (Q3673065):
Displayed 4 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)
- A first order logic of effects (Q1390955) (← links)