Varieties of chain-complete algebras

DOI10.1016/0022-4049(80)90106-1zbMath0445.18008MaRDI QIDQ1145208

José Meseguer

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(80)90106-1

zbMATH Keywords

varieties; program semantics; chain-complete poset; enriched Lawvere algebraic theories

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

18C10: Theories (e.g., algebraic theories), structure, and semantics

03C05: Equational classes, universal algebra in model theory

06F99: Ordered structures

Related Items

Discrete Lawvere theories and computational effects, Algebraic relations and presentations, Order completion monads, The Birkhoff variety theorem for continuous algebras, On P-dominions of continuous algebras, Quasi-varieties in abstract algebraic institutions, Algebraic solutions to recursion schemes, Recursion-closed algebraic theories, Graph grammars and operational semantics, Epis need not be dense, Conditional rewriting logic as a unified model of concurrency

Cites Work

• Algebras of uniformly continuous functions
• A uniform approach to inductive posets and inductive closure
• Order completion monads
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• \(\mathbb{T}^\omega\) as a universal domain
• Chain-complete posets and directed sets with applications
• Varieties of ordered algebras
• Scalar and vector iteration
• A generalized approach to formal languages
• Categories of chain-complete posets
• On some classes of interpretations
• Fixed-point constructions in order-enriched categories
• Adjoint functors and triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Kan extensions in enriched category theory
• The Category-Theoretic Solution of Recursive Domain Equations
• Semantics of computation
• Bases for Chain-complete Posets
• Data Types as Lattices
• Primitive recursive algebraic theories and program schemes
• Initial Algebra Semantics and Continuous Algebras
• Colimits of algebras revisited
• Categorical algebra
• Automata in general algebras
• Some algebraic problems in the context of functorial semantics of algebraic theories
• Heterogeneous algebras
• Regular Categories and Regular Functors
• Algebras with a Scheme of Operators
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• A Perspective View of Discrete Automata and Their Design
• Duality for groups
• General Theory of Natural Equivalences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item