A birkhoff-like theorem for algebraic classes of interpretations of program schemes
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 152-168
- https://doi.org/10.1007/3-540-10699-5_96
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Varieties of chain-complete algebrasJournal of Pure and Applied Algebra, 1980
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Program transformations and algebraic semanticsTheoretical Computer Science, 1979
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- On order-complete universal algebra and enriched functorial semanticsLecture Notes in Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Schemes with recursion on higher typesPublished by Springer Nature ,1976
- Some fundamentals of order-algebraic semanticsPublished by Springer Nature ,1976
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963
- On the combination of subalgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1933