A convenient category of domains (2007)

by I Battenfeld, M Schröder, A Simpson
Venue:In Computation, meaning, and logic: articles dedicated to Gordon Plotkin, volume 172 of Electron. Notes Theor. Comput. Sci