Similar Items: First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Logical Step-Indexed Logical Relations
- A Step-indexed Semantics of Imperative Objects
- Step-Indexed Relational Reasoning for Countable Nondeterminism
- Axioms for Modelling Cubical Type Theory in a Topos
- The Sierpinski Object in the Scott Realizability Topos
- Interactive Small-Step Algorithms I: Axiomatization