coquand93

Thierry Coquand. Infinite Objects in Type Theory. In Proc.\ Int'l Workshop on Types for Proofs and Programs (TYPES), Henk Barendregt, Tobias Nipkow (eds.), Lecture Notes in Computer Science (LNCS), Volume 806, Pages 62-78, May 1993.

Keywords

[ Rectype ] [ Typetheory ]

Contact

Thierry Coquand

BibTex Reference

@InProceedings{coquand93,
   Author = {Coquand, Thierry},
   Title = {Infinite Objects in Type Theory},
   BookTitle = {Proc.\ Int'l Workshop on Types for Proofs and Programs (TYPES)},
   editor = {Barendregt, Henk and Nipkow, Tobias},
   Volume = {806},
   Pages = {62--78},
   Series = {Lecture Notes in Computer Science (LNCS)},
   Publisher = {Springer-Verlag},
   Month = {May},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)