91
Voted
TAPSOFT
1987
Springer
15 years 6 months ago
1987
Springer
101
click to vote
TAPSOFT
1987
Springer
15 years 6 months ago
1987
Springer
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...