Partial Morphisms in Categories of Effective Objects

Partial Morphisms in Categories of Effective Objects Eugenio Moggi 250-277 Inf. Comput. February/March 1988 76 2/3 db/journals/iandc/iandc76.html#Moggi88