Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok. Proving termination of evaluation for System F with control operators.
COS 2013 - First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. pp.15-29,
⟨10.4204/EPTCS.127.2⟩.
⟨hal-00860954⟩