The largest Cartesian closed category of domains
From MaRDI portal
Publication:761042
DOI10.1016/0304-3975(83)90095-6zbMath0556.68017OpenAlexW2043058711MaRDI QIDQ761042
Publication date: 1983
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(83)90095-6
continuous domainssemantics of programming languagescomplete partial orderCartesian closureconsistently complete domainseffectively given domainsfinite elements of a domainfunction-space formationminimal bounds of a posetomega-algebraic cpopowerdomain
Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of computing (68Q99)
Related Items
When does the class \([{\mathcal A} \longrightarrow {\mathcal B}\) consist of continuous domains?], On the largest Cartesian closed category of stable domains., Embedding \(\omega\)-continuous posets in function spaces of domains, Function spaces from coherent continuous domains to RB-domains, Linear domains and linear maps, A Cartesian closed category of domains with almost algebraic bases, Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\), Universal profinite domains, Algebraic domains of natural transformations, Universal domains and the amalgamation property, A rational reconstruction of the domain of feature structures, A concrete realization of the Hoare powerdomain, Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices, Event structures and domains, Cartesian closed categories of \(F\mathcal Z\)-domains, The common order-theoretic structure of version spaces and ATMSs, Cartesian closed categories of domains and the space proj(D), Function spaces from Lawson compact continuous domains to continuous B-domains, Non-deterministic information systems and their domains, Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains, Compact continuous \(L\)-domains, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Two Cartesian closed categories of information algebras, Domain theory in logical form, Relation algebraic domain constructions, The largest cartesian closed category of stable domains, On the largest Cartesian closed category of stable domains, A characterization of the least-fixed-point operator by dinaturality, On stable domains, A partial solution to an open problem of Amadio and Curien, Cartesian closed categories of separable Scott domains, Continuous Domain Theory in Logical Form, Cartesian closed stable categories, A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains, Convex powerdomains. I, Cartesian closed categories of algebraic cpos, Disjunctive systems and L-Domains, Function spaces from core compact coherent spaces to continuous B-domains, Coherence and consistency in domains, Categories of embeddings, Exponentials in a Cartesian closed category which contains all algebraic domains, Describing semantic domains with sprouts, Domain theoretic models of polymorphism, Topology, domain theory and theoretical computer science, On a generalized product for domains, Using information systems to solve recursive domain equations, Information categories, All Cartesian closed categories of quasicontinuous domains consist of domains
Cites Work
