A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
From MaRDI portal
Publication:2486012
DOI10.1016/J.INS.2003.06.006zbMATH Open1081.18010OpenAlexW2085318782MaRDI QIDQ2486012
Publication date: 5 August 2005
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2003.06.006
Could not fetch data.
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
Related Items (2)
Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\) ⋮ Exponentials in a Cartesian closed category which contains all algebraic domains
This page was built for publication: A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486012)