Induction principles formalized in the Calculus of Constructions (1988)

Cached

Download Links

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