Partial map classifiers and partial cartesian closed categories
scientific article; zbMATH DE number 983727
scientific article