@misc{indiciaecae4111428f5,
  title = {Proving termination of evaluation for System F with control operators},
  author = {Małgorzata Biernacka and Dariusz Biernacki and Sergueï Lenglet and Marek Materzok},
  year = {2013},
  doi = {10.4204/eptcs.127.2},
  url = {https://arxiv.org/abs/1309.1261},
  note = {Source identifier: 1309.1261}
}