A simple type theory with partial functions and subtypes (1993)

by W M Farmer
Venue:Annals of Pure and Applied Logic