On stable domains
- 12 April 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 111 (1-2) , 89-101
- https://doi.org/10.1016/0304-3975(93)90183-t
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Categories of embeddingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Universal homogeneous event structures and domainsInformation and Computation, 1991
- Non-deterministic information systems and their domainsTheoretical Computer Science, 1990
- An algebraic approach to stable domainsJournal of Pure and Applied Algebra, 1990
- A simple model of the theory of constructionsContemporary Mathematics, 1989
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976