Pages that link to "Item:Q2704324"
From MaRDI portal
The following pages link to Relational reasoning about contexts (Q2704324):
Displaying 23 items.
- The calculus of context relations (Q918720) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (Q964003) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Context-dependent abduction and relevance (Q2499286) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- On Applicative Similarity, Sequentiality, and Full Abstraction (Q3449626) (← links)
- Complete Lattices and Up-To Techniques (Q3498446) (← links)
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510) (← links)
- (Q5155688) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q5176935) (← links)
- Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940) (← links)
- Equations, Contractions, and Unique Solutions (Q5278202) (← links)