@inproceedings{biernacki:hal-01399945, TITLE = {{Applicative Bisimulations for Delimited-Control Operators}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-01399945}, BOOKTITLE = {{Foundations of Software Science and Computation Structures (FoSSaCS 2012)}}, ADDRESS = {Tallinn, Estonia}, EDITOR = {Lars Birkedal}, PUBLISHER = {{Springer}}, VOLUME = {LNCS 7213}, PAGES = {119 - 134}, YEAR = {2012}, MONTH = Mar, DOI = {10.1007/978-3-642-28729-9\_8}, PDF = {https://inria.hal.science/hal-01399945/file/biernacki-lenglet-fossacs12.pdf}, HAL_ID = {hal-01399945}, HAL_VERSION = {v1}, }