Infinite objects in type theory (1986)

by N P Mendler, P Panangaden, R L Constable
Venue:In Proceedings, Symposium on Logic in Computer Science