TY  - RPRT
TI  - Environmental Bisimulations for Delimited-Control Operators
AU  - Dariusz Biernacki
AU  - Sergueï Lenglet
PY  - 2013
UR  - https://arxiv.org/abs/1309.3919
ID  - 1309.3919
ER  -