Sergueï Lenglet

Bisimulations for Delimited-Control Operators

2019 · Logical Methods in Computer Science

We present a comprehensive study of the behavioral theory of an untyped $\lambda$-calculus extended with the delimited-control operators shift and reset. To that end, we define a contextual equivalence for this calculus, that we then …