Strong normalization for System F by HOAS on top of FOAS

by Andrei Popescu , Elsa L. Gunter , Christopher J. Osborn
Citations:2 - 0 self