Induction principles formalized in the Calculus of Constructions (1988)

by Gérard Huet
Venue:Programming of Future Generation Computers