A Cartesian closed category of domains with almost algebraic bases

DOI10.1016/j.entcs.2019.07.022OpenAlexW2971926836WikidataQ113317442 ScholiaQ113317442MaRDI QIDQ2130610

Zhenchao Lyu, Hui Kou

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.07.022

zbMATH Keywords

Cartesian closed category\(L\)-domainalmost algebraic\(\mathcal{M}\)-closed basis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Function spaces from coherent continuous domains to RB-domains
• The largest Cartesian closed category of domains
• Two categories of effective continuous cpos
• A computational model for metric spaces
• The way-below relation of function spaces over semantic domains
• Topology, domain theory and theoretical computer science
• Computation on metric spaces via domain theory
• Compact continuous \(L\)-domains
• All Cartesian closed categories of quasicontinuous domains consist of domains
• Data Types as Lattices
• Spaces of maximal points
• Continuous Lattices and Domains

This page was built for publication: A Cartesian closed category of domains with almost algebraic bases