The Convex Powerdomain in a Category of Posets Realized By Cpos (1995)

by Alex K. Simpson
Venue:In Proc. Category Theory and Computer Science