Free upper regular bands

DOI10.1016/0304-3975(81)90033-5zbMath0474.68022OpenAlexW2064450552MaRDI QIDQ1158953

David B. Benson, Michael G. Main

Publication date: 1981

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

Full work available at URL: https://doi.org/10.1016/0304-3975(81)90033-5

zbMATH Keywords

data typeScott's domain

Mathematics Subject Classification ID

Data structures (68P05)

Cites Work

• Unnamed Item
• Unnamed Item
• \(\mathbb{T}^\omega\) as a universal domain
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices

This page was built for publication: Free upper regular bands