Tree constructions of free continuous algebras
- 1 February 1982
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 24 (1) , 114-146
- https://doi.org/10.1016/0022-0000(82)90059-9
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Completions of Partially Ordered SetsSIAM Journal on Computing, 1982
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- Categories of chain-complete posetsTheoretical Computer Science, 1977
- Semantics of the Domain of Flow DiagramsJournal of the ACM, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Chain-complete posets and directed sets with applicationsAlgebra universalis, 1976
- A compactification of the algebra of termsAlgebra universalis, 1976
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Data Types as LatticesSIAM Journal on Computing, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976