Strong Normalization for System F by HOAS on Top of FOAS.

Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn

Browse the full LICS paper archive.