The following pages link to Relational properties of domains (Q1923093):
Displayed 39 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (Q651316) (← links)
- A calculus of coroutines (Q817847) (← links)
- On the relations between monadic semantics (Q879354) (← links)
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- A domain-theoretic semantics of lax generic functions. (Q1398469) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Game semantics and linear CPS interpretation (Q1770417) (← links)
- Relational interpretations of recursive types in an operational setting. (Q1854316) (← links)
- Games and full abstraction for FPC. (Q1854351) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- On a monadic semantics for freshness (Q2566026) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- A Categorical Semantics of Higher Order Store (Q2842823) (← links)
- Syntactic Logical Relations for Polymorphic and Recursive Types (Q2864153) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
- From parametric polymorphism to models of polymorphic FPC (Q3395309) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- (Q4222944) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- A step-indexed Kripke model of hidden state (Q4911302) (← links)
- (Q4989404) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- (Q5214814) (← links)
- Denotational aspects of untyped normalization by evaluation (Q5313717) (← links)
- Interleaving data and effects (Q5371955) (← links)
- Correctness of compiling polymorphism to dynamic typing (Q5371998) (← links)
- An operational domain-theoretic treatment of recursive types (Q5740347) (← links)