Innite objects in type theory (1986)

by N P Mendler, P Panangaden, R L Constable
Venue:Proc. 1st LICS, IEEE