Partial objects in constructive type theory (1987)

by Robert L Constable, Scott Fraser Smith
Venue:In Logic in Computer Science (LICS’87