Exponentials in a Cartesian closed category which contains all algebraic domains
From MaRDI portal
Publication:748705
DOI10.1007/s10485-014-9378-3zbMath1330.18004OpenAlexW1977886988WikidataQ62038109 ScholiaQ62038109MaRDI QIDQ748705
Publication date: 29 October 2015
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-014-9378-3
Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Cites Work
- Unnamed Item
- Unnamed Item
- The largest Cartesian closed category of domains
- Domain semantics of possibility computations
- Topology, domain theory and theoretical computer science
- Cartesian closed stable categories
- A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
- A Powerdomain Construction
- Continuous Lattices and Domains
This page was built for publication: Exponentials in a Cartesian closed category which contains all algebraic domains