cohu85

T. Coquand, G. Huet. Constructions: A Higher Order Proof System for Mechanizing Mathematics. In Proc. European Conf. on Computer Algebra (EUROCAL), Vol. 1 (Invited Lectures), Lecture Notes in Computer Science, Vol. 203, Pages 151-184, April 1985.

Keyword

[ Typetheory ]

Contact

Thierry Coquand
G. Huet

BibTex Reference

@InProceedings{cohu85,
   Author = {Coquand, T. and Huet, G.},
   Title = {Constructions: A Higher Order Proof System for Mechanizing Mathematics},
   BookTitle = {Proc. European Conf. on Computer Algebra (EUROCAL), Vol. 1 (Invited Lectures)},
   Pages = {151--184},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)