A convenient category of domains (2007)

by Ingo Battenfeld, Matthias Schröder, Alex Simpson
Venue:In Computation, Meaning, and Logic, volume 172 of Electron. Notes Theor. Comput. Sci