The Category-Theoretic Solution of Recursive Domain Equations
- 1 November 1982
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 11 (4) , 761-783
- https://doi.org/10.1137/0211062
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Continuous LatticesPublished by Springer Nature ,1981
- Least fixed point of a functorJournal of Computer and System Sciences, 1979
- Edinburgh LCFLecture Notes in Computer Science, 1979
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- Free Dynamics and Algebraic SemanticsPublished by Springer Nature ,1977
- Computability concepts for programming language semanticsTheoretical Computer Science, 1976
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Coequalizers and free triplesMathematische Zeitschrift, 1970