Similar Items: Logical Step-Indexed Logical Relations
- Step-Indexed Relational Reasoning for Countable Nondeterminism
- Modal Logics of Topological Relations
- Relational Parametricity and Separation Logic
- Graph Logics with Rational Relations
- A Hoare logic for the coinductive trace-based big-step semantics of While
- Logical relations for coherence of effect subtyping