Compact continuous \(L\)-domains

DOI10.1016/S0898-1221(99)00171-6zbMath0941.68080MaRDI QIDQ1963068

Ji-hua Liang, Klaus Keimel

Publication date: 20 January 2000

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

FS-domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Lattices (06B99)

Related Items (14)

\(RW\)-spaces and compactness of function spaces for L-domains ⋮ A Cartesian closed category of domains with almost algebraic bases ⋮ Unnamed Item ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ QFS-domains and their Lawson compactness ⋮ Coincidence of the Isbell and Scott topologies on domain function spaces ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ Unnamed Item ⋮ A logic for Lawson compact algebraic L-domains ⋮ Maximal classes of spaces and domains determined by topologies on function spaces of domains ⋮ Lawson compactness on function spaces of domains ⋮ Order environments of topological spaces ⋮ Function spaces from core compact coherent spaces to continuous B-domains ⋮ Fixed points of Scott continuous self-maps

Cites Work

• The largest Cartesian closed category of domains
• Solutions to two problems of J. D. Lawson and M. Mislove
• A Direct Proof of the Hofmann-Mislove Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compact continuous \(L\)-domains