Partial Objects In Constructive Type Theory

Robert L. Constable, Scott F. Smith

Browse the full LICS paper archive.