Partial objects in constructive type theory (1987)

by R L Constable, S F Smith
Venue:In Proceedings of LICS'87