On the algebra of order
type: Item
instance of: scholarly article
title: On the algebra of order
zbMATH Open document ID: 0442.68010
DOI: 10.1016/0022-0000(80)90038-0
published in: Journal of Computer and System Sciences
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 18B99
Mathematics Subject Classification ID: 08C05
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 3690664
zbMATH Keywords: categorical approach
zbMATH Keywords: mathematical semantics
zbMATH Keywords: ordered data types
zbMATH Keywords: completions
zbMATH Keywords: quotients
zbMATH Keywords: posets
zbMATH Keywords: T-algebra
zbMATH Keywords: ordered algebras
zbMATH Keywords: continuous algebras
author: Daniel Lehmann
MaRDI profile type: Publication
full work available at URL: 0022-0000(80)90038-0
OpenAlex ID: W2068599721
cites work: Colimits of algebras revisited
cites work: Q4063606
cites work: Q4063607
cites work: Categorial characterization of the MacNeille completion
cites work: Coequalizers and free triples
cites work: Varieties of ordered algebras
cites work: Proving Properties of Programs by Structural Induction
cites work: Q4054648
cites work: Computability concepts for programming language semantics
cites work: Q4164787
cites work: Q3912630
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q5648482
cites work: Q4178466
cites work: Abstract data types and software validation
cites work: Q5682456
cites work: Algebraic specification of data types: A synthetic approach
cites work: Q5570960
cites work: Q5639839
cites work: Categories of chain-complete posets
cites work: Bases for Chain-complete Posets
cites work: Q5601829
cites work: Q4145866
cites work: Effectively given domains
cites work: Data Type Specification: Parameterization and the Power of Specification Techniques
cites work: Fixed-point constructions in order-enriched categories
cites work: Final algebra semantics and data type extensions
cites work: A uniform approach to inductive posets and inductive closure
description: scientific article; zbMATH DE number 3690664