@inproceedings{biernacki:hal-01399951, TITLE = {{Normal Form Bisimulations for Delimited-Control Operators}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-01399951}, BOOKTITLE = {{Symposium on Functional and Logic Programming (FLOPS 2012)}}, ADDRESS = {Kob{\'e}, Japan}, EDITOR = {T. Shrijvers and P. Thiemann}, PUBLISHER = {{Springer}}, VOLUME = {LNCS 7294}, PAGES = {47 - 61}, YEAR = {2012}, MONTH = Jun, DOI = {10.1007/978-3-642-29822-6\_7}, PDF = {https://inria.hal.science/hal-01399951/file/biernacki-lenglet-flops12.pdf}, HAL_ID = {hal-01399951}, HAL_VERSION = {v1}, }