DI-domains as information systems
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 773-788
- https://doi.org/10.1007/bfb0035798
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Logics of DomainsDAIMI Report Series, 1989
- Linear logicTheoretical Computer Science, 1987
- Using information systems to solve reoursive domain equations effectivelyLecture Notes in Computer Science, 1984
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Stable models of typed λ-calculiPublished by Springer Nature ,1978
- Categories for the Working MathematicianPublished by Springer Nature ,1971