Partial map classi ers and partial cartesian closed categories, Theoret (1992)

by P S Mulry
Venue:Comput. Sci