On Cartesian closed extensions of non-pointed domains

DOI10.1016/J.TCS.2017.07.017zbMath1373.18005OpenAlexW2744653121MaRDI QIDQ2402273

Zhongxi Zhang, Qing-Guo Li

Publication date: 7 September 2017

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

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

zbMATH Keywords

Cartesian closed category\(L\)-domaincontinuous posetdisjoint union\(D\)-completion\(RB\)-domainwell-rooted

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (1)

A unified method for completions of posets and closure spaces

Cites Work

• Generalized continuous posets and a new Cartesian closed category
• Dcpo-completion of posets
• B-posets, FS-posets and relevant categories
• Continuity of posets via Scott topology and sobrification
• Continuous Lattices and Domains
• \(Z\)-join spectra of \(Z\)-supercompactly generated lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Cartesian closed extensions of non-pointed domains