cohu85b

T. Coquand, G. Huet. A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction. J. Symbolic Computation, Vol. 1, 1985, pp. 323-328, 1985.

Keyword

[ Typetheory ]

Contact

Thierry Coquand
G. Huet

BibTex Reference

@Misc{cohu85b,
   Author = {Coquand, T. and Huet, G.},
   Title = {A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction},
   Howpublished = {J. Symbolic Computation, Vol. 1, 1985, pp. 323-328},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)