A construction of free dcpo-cones

DOI10.1017/s0960129523000427MaRDI QIDQ6149962

Xiaolin Xie, Zhenchao Lyu, Unnamed Author, Hui Kou

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

continuous valuationD-completiontopological conedcpo-conemonotone determined conepoint-continuous

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extending algebraic operations to D-completions
• Topological cones: functional analysis in a \(T_{0}\)-setting
• CPO's of measures for nondeterminism
• Continuity and directed completion of topological spaces
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Separating minimal valuations, point-continuous valuations, and continuous valuations

This page was built for publication: A construction of free dcpo-cones