Algebraic relations and presentations

DOI10.1016/0304-3975(83)90092-0zbMath0522.06006OpenAlexW2036291792MaRDI QIDQ1055794

Adrian Tang, Tsutomu Kamimura

Publication date: 1983

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90092-0

zbMATH Keywords

continuous latticeabstract data typesretractssemantics of programming languagescategory of algebraic latticescontinuous congruence relationcontinuous presentationscontinuous quotientrepresentation theorem for algebraic lattices

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Structure theory of lattices (06B05) Lattice ideals, congruence relations (06B10) Theory of computing (68Q99)

Related Items (1)

An effectively given initial semigroup

Cites Work

• Varieties of chain-complete algebras
• Data Types as Lattices
• Initial Algebra Semantics and Continuous Algebras
• Computability theory in admissible domains
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic relations and presentations