Sciweavers

TAPSOFT
1987
Springer

Induction Principles Formalized in the Calculus of Constructions

14 years 2 months ago
Induction Principles Formalized in the Calculus of Constructions
The Calculus of Constructions is a higher-order formalism for writing constructive proofs in a natural deduction style, inspired from work of de Bruijn [2, 3], Girard [12], Martin-L
Gérard P. Huet
Added 28 Aug 2010
Updated 28 Aug 2010
Type Conference
Year 1987
Where TAPSOFT
Authors Gérard P. Huet
Comments (0)