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

Benjamin Grégoire, Jorge Luis Sacchini (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics