cohu86

T. Coquand, G. Huet. The Calculus of Constructions. Research Report INRIA, No 0, May 1986.

Keyword

[ Typetheory ]

Contact

Thierry Coquand
G. Huet

BibTex Reference

@TechReport{cohu86,
   Author = {Coquand, T. and Huet, G.},
   Title = {The Calculus of Constructions},
   Number = {0},
   Institution = {INRIA},
   Month = {May},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)