Partial map classifiers and partial cartesian closed categories
Authors:
Philip S. Mulry
Affiliations:
Colgate Univ., Hamilton, NY
Venue:
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics. Part II : lambda calculus and domain theory: lambda calculus and domain theory