@Inproceedings{EPTCS127.2,
  author    = {Biernacka, Ma{\l}gorzata and Biernacki, Dariusz and Lenglet, Sergue\"i and Materzok, Marek},
  year      = {2013},
  title     = {Proving termination of evaluation for System F with control operators},
  editor    = {de'Liguoro, Ugo and Saurin, Alexis},
  booktitle = {{\rm Proceedings First Workshop on}
               Control Operators and their Semantics,
               {\rm Eindhoven, The Netherlands, June 24-25, 2013 }},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {127},
  publisher = {Open Publishing Association},
  pages     = {15-29},
  doi       = {10.4204/EPTCS.127.2},
}