Login / Signup
The Calculus of Constructions
Thierry Coquand
Gérard P. Huet
Published in:
Inf. Comput. (1988)
Keyphrases
</>
computer algebra
learning algorithm
metadata
video sequences
search algorithm
digital libraries
formal language
automated deduction
algebraic structure