Categories of partial morphisms and the λp-calculus, Category Theory and (1986)

by E Moggi
Venue:Computer Programming, LNCS