Free Dynamics and Algebraic Semantics
- 1 January 1977
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The existence and construction of free iterative theoriesJournal of Computer and System Sciences, 1976
- Algebraic TheoriesPublished by Springer Nature ,1976
- Machines in a Category: An Expository IntroductionSIAM Review, 1974
- Continuous latticesLecture Notes in Mathematics, 1972
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955