A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc
Abstract elided by the publisher.
Related papers
- A complete, co-inductive syntactic theory of sequential control and state POPL 2007
- A bisimulation for dynamic sealing POPL 2004
- A bisimulation for type abstraction and recursion POPL 2005
- Small bisimulations for reasoning about higher-order imperative programs POPL 2006
- Effectful Normal Form Bisimulation ESOP 2019
- Environmental Bisimulations for Delimited-Control Operators APLAS 2013
- Environmental bisimulations for probabilistic higher-order languages POPL 2016
- Environmental Bisimulations for Probabilistic Higher-order Languages TOPLAS 2019