Tω as a Universal Domain
- 1 October 1978
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 17 (2), 209-236
- https://doi.org/10.1016/0022-0000(78)90006-5
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Power domainsJournal of Computer and System Sciences, 1978
- Effectively given domainsTheoretical Computer Science, 1977
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-CalculusSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976
- A Syntactic Characterization of the Equality in Some Models for the Lambda CalculusJournal of the London Mathematical Society, 1976