Infinite objects in type theory (1993)

by T Coquand
Venue:LNCS