co87

T. Coquand. On the Analogy Between Propositions and Types. Institute on Logical Foundations of Functional Programming (1987 UT Year of Programming), 1987.

Keyword

[ Typetheory ]

Contact

Thierry Coquand

BibTex Reference

@Misc{co87,
   Author = {Coquand, T.},
   Title = {On the Analogy Between Propositions and Types},
   Howpublished = {Institute on Logical Foundations of Functional Programming (1987 UT Year of Programming)},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)