A uniform approach to inductive posets and inductive closure
- 1 January 1977
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 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
- Algebraic families of interpretationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976