Pseudo-retract functors for local lattices and bifinte L-domains

DOI10.1007/BFb0040267OpenAlexW2122390320MaRDI QIDQ5887525

Elsa L. Gunter

Publication date: 12 April 2023

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

Full work available at URL: https://doi.org/10.1007/bfb0040267

zbMATH Keywords

complete latticeprincipal idealfull subcategorybounded subsetlocal lattice

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)

Almost Every Domain is Universal

Cites Work

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

This page was built for publication: Pseudo-retract functors for local lattices and bifinte L-domains