Similar Items: Bisimulations for Delimited-Control Operators
- Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- Lazy Evaluation and Delimited Control
- Games for Bisimulations and Abstraction
- Relating Apartness and Bisimulation
- Nash Equilibrium and Bisimulation Invariance