Jesper Carlström: Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory. TYPES 2002: 78-94