Infinite Objects in Type Theory

Nax Paul Mendler, Prakash Panangaden, Robert L. Constable

Browse the full LICS paper archive.