On the algebra of order
- 1 August 1980
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 21 (1) , 1-23
- https://doi.org/10.1016/0022-0000(80)90038-0
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Categories of chain-complete posetsTheoretical Computer Science, 1977
- Colimits of algebras revisitedBulletin of the Australian Mathematical Society, 1977
- 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
- Abstract Data Types and Software ValidationPublished by Defense Technical Information Center (DTIC) ,1976
- Coequalizers and free triplesMathematische Zeitschrift, 1970
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Categorical characterization of the MacNeille completionArchiv der Mathematik, 1967