A formalization of the strong normalization proof for system f in lego (1993)

by T Altenkirch
Venue:In TLCA, volume 664 of LNCS