Using information systems to solve reoursive domain equations effectively
- 1 January 1984
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 109-129
- https://doi.org/10.1007/3-540-13346-1_5
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Information systems, continuity and realizabilityLecture Notes in Computer Science, 1984
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- Applicative information systemsPublished by Springer Nature ,1983
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Programming with concrete data structures and sequential algorithmsPublished by Association for Computing Machinery (ACM) ,1981
- ComputabilityPublished by Cambridge University Press (CUP) ,1980
- Effectively given domainsTheoretical Computer Science, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Categories for the Working MathematicianPublished by Springer Nature ,1971