A Generic Strong Normalization Argument: Application to the Calculus of Constructions.

C.-H. Luke Ong, Eike Ritter

Browse the full CSL paper archive.