A Simple Type Theory with Partial Functions and Subtypes (1993)

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