Infinite objects in type theory (1994)

by Thierry Coquand
Venue:In Types for Proofs and Programs, International Workshop TYPES’93, volume 806 of LNCS