@inproceedings{aristizabal:hal-01335959, TITLE = {{Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation}}, AUTHOR = {Aristiz{\'a}bal, Andr{\'e}s and Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-01335959}, BOOKTITLE = {{1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)}}, ADDRESS = {Porto, Portugal}, SERIES = {LIPIcs}, VOLUME = {52}, YEAR = {2016}, MONTH = Jun, DOI = {10.4230/LIPIcs.FSCD.2016.9}, KEYWORDS = {environmental bisimulation ; contextual equival- ence ; delimited continuation ; dynamic prompt generation ; up-to technique}, PDF = {https://inria.hal.science/hal-01335959/file/LIPIcs-FSCD-2016-9.pdf}, HAL_ID = {hal-01335959}, HAL_VERSION = {v1}, }