Fixed-point constructions in order-enriched categories
- 1 January 1979
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 8 (1) , 13-30
- https://doi.org/10.1016/0304-3975(79)90053-7
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Categories of chain-complete posetsTheoretical Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Equational languagesInformation and Control, 1972
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972
- Pair grammars, graph languages and string-to-graph translationsJournal of Computer and System Sciences, 1971
- Generalized2 sequential machine mapsJournal of Computer and System Sciences, 1970
- Adjointness in FoundationsDialectica, 1969
- Tree generating regular systemsInformation and Control, 1969
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968