@unpublished{biernacki:hal-00862189, TITLE = {{Environmental Bisimulations for Delimited-Control Operators}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-00862189}, NOTE = {Long version of the corresponding APLAS13 paper}, YEAR = {2013}, MONTH = Sep, KEYWORDS = {Environmental bisimulations ; Delimited control ; Up-to techniques}, PDF = {https://inria.hal.science/hal-00862189/file/aplasLong.pdf}, HAL_ID = {hal-00862189}, HAL_VERSION = {v1}, }