Partial morphisms in categories of effective objects

• Authors:

• Eugenio Moggi

• Affiliations:

• Univ. of Edinburgh, Edinburgh, Scotland

• Venue:
• Information and Computation - Semantics of Data Types
• Year:
• 1988