The convex powerdomain in a category of posets realized by cpos (1995)

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