On compactness and Cpo-enriched categories (1992)

by M P Fiore, G D Plotkin
Venue:Computer Science Department, Aarhus University