co86b

T. Coquand. An Analysis of Girard's Paradox. In Proc. IEEE Symp. on Logic in Computer Science (LICS), Pages 227-236, June 1986.

Keyword

[ Typetheory ]

Contact

Thierry Coquand

BibTex Reference

@InProceedings{co86b,
   Author = {Coquand, T.},
   Title = {An Analysis of {Girard's Paradox}},
   BookTitle = {Proc. IEEE Symp. on Logic in Computer Science (LICS)},
   Pages = {227--236},
   Month = {June},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)