Universal homogeneous event structures and domains
- 1 September 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 94 (1) , 48-61
- https://doi.org/10.1016/0890-5401(91)90032-w
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Categorical Combinators, Sequential Algorithms, and Functional ProgrammingPublished by Springer Nature ,1993
- Non-deterministic information systems and their domainsTheoretical Computer Science, 1990
- Coherence and consistency in domainsJournal of Pure and Applied Algebra, 1990
- Event structures and domainsTheoretical Computer Science, 1989
- Recursive domain equations for concrete data structuresInformation and Computation, 1989
- Groups of order-automorphisms of the rationals with prescribed scale typeJournal of Mathematical Psychology, 1989
- On countable locally described structuresAnnals of Pure and Applied Logic, 1987
- Universal profinite domainsInformation and Computation, 1987
- Sequential algorithms on concrete data structuresTheoretical Computer Science, 1982
- Models of the lambda calculusInformation and Control, 1982