Generalization in type theory based proof assistants (2002)

by O Pons
Venue:Types for Proofs and Programs, Intl. Workshop (TYPES 2000), LNCS 2277