Similar Items: Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
- Interactive Small-Step Algorithms I: Axiomatization
- Characterization theorem for the conditionally computable real functions
- Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
- A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
- Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
- Algorithmic randomness for Doob's martingale convergence theorem in continuous time