Subset Types and Partial Functions (2003)

by A Stump
Venue:19th International Conference on Automated Deduction