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

by T Altenkirch
Venue:Proceedings of the International Conference on Typed Lambda Calculi and Applications