Algebraic relations and presentations

DOI10.1016/0304-3975(83)90092-0MaRDI QIDQ1055794zbMATH OpenOpenAlexFDO

Authors Tsutomu Kamimura, Adrian Tang

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

abstract data typescategory of algebraic latticescontinuous congruence relationcontinuous latticecontinuous presentationscontinuous quotientrepresentation theorem for algebraic latticesretractssemantics of programming languages

Mathematics Subject Classification ID

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

Cites work

• Computability theory in admissible domains
• Data Types as Lattices
• scientific article; zbMATH DE number 3849214 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3761372 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Varieties of chain-complete algebras

Cited in

(1)

• An effectively given initial semigroup

This page was built for publication: Algebraic relations and presentations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1055794)