@inproceedings{biernacka:hal-00860954, TITLE = {{Proving termination of evaluation for System F with control operators}}, AUTHOR = {Biernacka, Malgorzata and Biernacki, Dariusz and Lenglet, Sergue{\"i} and Materzok, Marek}, URL = {https://inria.hal.science/hal-00860954}, NOTE = {In Proceedings COS 2013, arXiv:1309.0924}, BOOKTITLE = {{COS 2013 - First Workshop on Control Operators and their Semantics}}, ADDRESS = {Eindhoven, Netherlands}, EDITOR = {de'Liquoro and Ugo and Saurin and Alexis}, PUBLISHER = {{Open Publishing Association}}, SERIES = {Electronic Proceedings in Theoretical Computer Science}, VOLUME = {127}, PAGES = {15-29}, YEAR = {2013}, MONTH = Jun, DOI = {10.4204/EPTCS.127.2}, HAL_ID = {hal-00860954}, HAL_VERSION = {v1}, }