Login / Signup

The Calculus of Constructions: State of the Art.

Gérard P. Huet
Published in: FSTTCS (1987)
Keyphrases
  • formal language
  • video sequences
  • automated theorem proving
  • expert systems
  • algebraic structure
  • sequent calculus