Metric spaces and \(FS\)-domains

DOI10.1016/J.TCS.2008.06.026zbMath1148.54012OpenAlexW1502373236MaRDI QIDQ949616

Jimmie D. Lawson

Publication date: 21 October 2008

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.026

zbMATH Keywords

metric spacecontinuous domainspace of formal balls\(FS\)-domain

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Topological lattices (06B30)

Related Items (6)

Unnamed Item ⋮ Maximal point spaces of dcpos satisfying the Lawson condition ⋮ QFS-domains and their Lawson compactness ⋮ The formal ball model for -categories ⋮ The equivalence of QRB, QFS, and compactness for quasicontinuous domains. ⋮ QFS-domains and quasicontinuous domains.

Cites Work

• A computational model for metric spaces
• Continuous Lattices and Domains

This page was built for publication: Metric spaces and \(FS\)-domains