@inproceedings{4d99c3b4b7f246e897ee4f756b3286ce,

title = "Comparing categories of domains",

abstract = "We discuss some of the reasons for the proliferation of categories of domains suggested for the mathematical foundations of the Scott-Strachey theory of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematical questions about the examples.",

author = "Gunter, {Carl A.}",

note = "Funding Information: This research was sponsored by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 3597, monitored by the Air Force Avionics Laboratory under Contract F33615-84-K-1520. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the US Government. Publisher Copyright: {\textcopyright} 1986, Springer-Verlag.; International Conference on Mathematical Foundations of Programming Semantics, 1985 ; Conference date: 11-04-1985 Through 12-04-1985",

year = "1986",

doi = "10.1007/3-540-16816-8_27",

language = "English (US)",

isbn = "9783540168164",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "101--121",

editor = "Austin Melton",

booktitle = "Mathematical Foundations of Programming Semantics - International Conference, Proceedings",

}