co86

T. Coquand. An Analysis of Girard's Paradox. Research Report INRIA, No 0, May 1986.

Keyword

[ Typetheory ]

Contact

Thierry Coquand

BibTex Reference

@TechReport{co86,
   Author = {Coquand, T.},
   Title = {An Analysis of Girard's Paradox},
   Number = {0},
   Institution = {INRIA},
   Month = {May},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)