Paper: The classification of continuous domains (at LICS 1990)
Authors: Jung, A.Abstract
The long-standing problem of finding the maximal Cartesian closed categories of continuous domains is solved. The solution requires the definition of a new class of continuous domains, called FS-domains, which contains all retracts of SFP-objects. The properties of FS-domains are discussed
BibTeX
@InProceedings{Jung-Theclassificationof, author = {Jung, A.}, title = {The classification of continuous domains}, booktitle = {Proceedings of the Fifth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1990}, year = 1990, editor = {John Mitchell}, month = {June}, pages = {35--40}, location = {Philadelphia, PA, USA}, publisher = {IEEE Computer Society Press} }