@InProceedings{battenfeld_et_al:DagSemProc.06341.2, author = {Battenfeld, Ingo and Schr\"{o}der, Matthias and Simpson, Alex}, title = {{A convenient category of domains}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.2}, URN = {urn:nbn:de:0030-drops-8945}, doi = {10.4230/DagSemProc.06341.2}, annote = {Keywords: Domain theory, topology of datatypes} }