cohu88

T. Coquand, G. Huet. Calculus of Constructions. Information and Computation, 76:95-120, 1988.

Keyword

[ Typetheory ]

Contact

Thierry Coquand
G. Huet

BibTex Reference

@article{cohu88,
   Author = {Coquand, T. and Huet, G.},
   Title = {Calculus of Constructions},
   Journal = {Information and Computation},
   Volume = {76},
   Pages = {95--120},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)