A simple type theory with partial functions and subtypes
scientific article; zbMATH DE number 503601