Strong normalization for System F by HOAS on top of FOAS
Cached
by
Andrei Popescu
,
Elsa L. Gunter
,
Christopher J. Osborn
Documents Related by Co-Citation
No related documents identified.
