Partial products and bagdomains (1992)

by P Johnstone
Venue:Application of Categories in Computer Science