On Strong Normalization of the Calculus of Constructions with Type-Based Termination.

Benjamin Grgoire, Jorge Luis Sacchini

Browse the full LPAR paper archive.