@inproceedings{bb3d801a810b4eb2aaf232d8cfa9d91c,
title = "A universal domain technique for profinite posets",
abstract = "We introduce a category of what we call profinite domains. This category of domains differs from most of the familiar ones in having a categorical coproduct as well as being cartesian closed. Study of these domains is carried out through the use of an equivalent category of pre-orders in a manner similar to the information systems approach advocated by Dana Scott and others. A class of universal profinite domains is defined and used to derive sufficient conditions for the profinite solution of domain equations involving continuous functors. Necessary conditions for the existence of such solutions are also given and used to derive results about solutions of some important equations. A new universal bounded complete domain is also demonstrated using a functor which has bounded complete domains as its fixed points.",
author = "Gunter, {Carl A.}",
note = "Publisher Copyright: {\textcopyright} 1985, Springer-Verlag.; 12th International Colloquium on Automata, Languages and Programming, ALP 1985 ; Conference date: 15-07-1985 Through 19-07-1985",
year = "1985",
doi = "10.1007/BFb0015748",
language = "English (US)",
isbn = "9783540156505",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "232--243",
editor = "Wilfried Brauer",
booktitle = "Automata, Languages and Programming - 12th Colloquium",
address = "Germany",
}