Constructions: A Higher Order Proof System for Mechanizing Mathematics

@inproceedings{Coquand1985ConstructionsAH,
  title={Constructions: A Higher Order Proof System for Mechanizing Mathematics},
  author={Thierry Coquand and G{\'e}rard Huet},
  booktitle={European Conference on Computer Algebra},
  year={1985}
}
  • Thierry Coquand, Gérard Huet
  • Published in
    European Conference on…
    1985
  • Mathematics, Computer Science
  • We present an extensive set of mathematical propositions and proofs in order to demonstrate the power of expression of the theory of constructions. 

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 134 CITATIONS, ESTIMATED 100% COVERAGE

    FILTER CITATIONS BY YEAR

    1986
    2019

    CITATION STATISTICS

    • 18 Highly Influenced Citations