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

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

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

• 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?)
• Computability theory in admissible domains
• Data Types as Lattices
• 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)