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

Document Versions

Strong normalization for System F by HOAS on top of FOAS –Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn