The following pages link to (Q3719794):
Displaying 20 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- On the relations between monadic semantics (Q879354) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- A semantics of multiple inheritance (Q1106652) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- Algebraic domains of natural transformations (Q1349657) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← links)
- Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
- Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages (Q1806130) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Category-sorted algebra-based action semantics (Q2638792) (← links)
- Monoidal indeterminates and categories of possible worlds (Q2805149) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- (Q4510742) (← links)
- The coherence of languages with intersection types (Q5096244) (← links)
- The sheaf-theoretic structure of non-locality and contextuality (Q5135226) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
