Universal quasi-prime algebraic domains

DOI10.1007/3-540-58027-1_22OpenAlexW1569942035MaRDI QIDQ5890061

No author found.

Publication date: 28 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_22

zbMATH Keywords

latticesuniversal algebradomain theorysemantics of programming languagesuniversal structures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

The largest cartesian closed category of stable domains

Cites Work

• Universal profinite domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Universal quasi-prime algebraic domains