@unpublished{biernacki:hal-01732498, TITLE = {{Applicative Bisimulations for Delimited-Control Operators}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-01732498}, NOTE = {A long version of an article accepted at FoSSaCS 2012}, YEAR = {2012}, HAL_ID = {hal-01732498}, HAL_VERSION = {v1}, }