Login / Signup

The Calculus of Constructions

Thierry CoquandGé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