Induction principles formalized in the Calculus of Constructions (1988)

by Gérard Huet
Venue:Programming of Future Generation Computers. Elsevier Science
Citations:13 - 4 self