The following pages link to (Q3138545):
Displayed 8 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)