Bisimulations for Delimited-Control Operators

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

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 context…