Solving reflexive domain equations in a category of complete metric spaces
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 254-288
- https://doi.org/10.1007/3-540-19020-1_13
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Continuous latticesLecture Notes in Mathematics, 1972
- Categories for the Working MathematicianPublished by Springer Nature ,1971