Partial objects in constructive type theory (1987)

by R L Constable, S Smith
Venue:In : Second Symposium on Logic in Computer Science, pp