Cpo-categories of partial maps (1993)

by M P Fiore
Venue:In CTCS-5 (Category Theory and Computer Science Fifth Biennial Meeting