Strong normalization for System F by HOAS on top of FOAS

Cached


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