Coherence and consistency in domains
Open Access
- 23 February 1990
- journal article
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 63 (1) , 49-66
- https://doi.org/10.1016/0022-4049(90)90055-m
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Cartesian closed categories of FƵ-domainsActa Mathematica Sinica, English Series, 2013
- Universal profinite domainsInformation and Computation, 1987
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- Lectures on a Mathematical Theory of ComputationPublished by Springer Nature ,1982
- Some Ordered Sets in Computer SciencePublished by Springer Nature ,1982
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Tω as a Universal DomainJournal of Computer and System Sciences, 1978
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976