%0 Conference Proceedings
%F coquand93
%A Coquand, Thierry
%T Infinite Objects in Type Theory
%B Proc.\ Int'l Workshop on Types for Proofs and Programs (TYPES)
%E Barendregt, Henk
%E Nipkow, Tobias
%V 806
%P 62-78
%S Lecture Notes in Computer Science (LNCS)
%I Springer-Verlag
%8 May
%D 1993
%K rectype
%K  typetheory