A uniform approach to inductive posets and inductive closure
- 31 December 1978
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 7 (1) , 57-77
- https://doi.org/10.1016/0304-3975(78)90040-3
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Computability concepts for programming language semanticsTheoretical Computer Science, 1976
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976