Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)

DOI10.1007/s11083-015-9366-8zbMath1401.18023OpenAlexW1178282101MaRDI QIDQ304184

Xiaoyong Xi, Zhijun Lu, Qingyu He

Publication date: 24 August 2016

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-015-9366-8

zbMATH Keywords

finite posetCartesian closed categoryway-below relationalgebraic domains

Mathematics Subject Classification ID

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

Cites Work

• The largest Cartesian closed category of domains
• Topology, domain theory and theoretical computer science
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item

This page was built for publication: Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)