A Formalization of the Strong Normalisation Proof for System F (1993)

by T Altenkirch
Venue:in LEGO. In Proc. of TLCA, volume 664 of LNCS