Categories of partial morphisms and the relation between typestructures " Lecture delivered at the Semester on theory (1988)

by A Asperti, G Longo
Venue:CAAP '86, LNCS 214, Spriger-Verlag