Partial Functions in Constructive Type Theory (1983)

by R L Constable
Venue:In Theoretical Computer Science, 6th GI-Conference