The largest Cartesian closed category of domains
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3739608 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- A Powerdomain Construction
- Bases for Chain-complete Posets
- Effectively given domains
Cited in
(54)- Cartesian closed categories of domains and the space proj(D)
- On the largest Cartesian closed category of stable domains
- Cartesian closed categories of algebraic cpos
- The largest cartesian closed category of stable domains
- Embedding \(\omega\)-continuous posets in function spaces of domains
- Domain theory in logical form
- On the largest Cartesian closed category of stable domains.
- A category of compositional domain-models for separable Stone spaces.
- Non-deterministic information systems and their domains
- Function spaces from core compact coherent spaces to continuous B-domains
- On stable domains
- Convex powerdomains. I
- scientific article; zbMATH DE number 1559386 (Why is no real title available?)
- Coherence and consistency in domains
- A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
- Function spaces from coherent continuous domains to RB-domains
- Compact continuous \(L\)-domains
- Universal profinite domains
- scientific article; zbMATH DE number 3986621 (Why is no real title available?)
- Domain theoretic models of polymorphism
- All Cartesian closed categories of quasicontinuous domains consist of domains
- Using information systems to solve recursive domain equations
- Topology, domain theory and theoretical computer science
- scientific article; zbMATH DE number 48416 (Why is no real title available?)
- Information categories
- Function spaces from Lawson compact continuous domains to continuous B-domains
- Cartesian closed categories of separable Scott domains
- A rational reconstruction of the domain of feature structures
- Relation algebraic domain constructions
- On a generalized product for domains
- Exponentials in a Cartesian closed category which contains all algebraic domains
- Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices
- Continuous domain theory in logical form
- Cartesian closed categories of \(F\mathcal Z\)-domains
- A characterization of the least-fixed-point operator by dinaturality
- Universal domains and the amalgamation property
- scientific article; zbMATH DE number 730303 (Why is no real title available?)
- A concrete realization of the Hoare powerdomain
- Linear domains and linear maps
- Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
- When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains?
- Event structures and domains
- Describing semantic domains with sprouts
- Algebraic domains of natural transformations
- The largest Cartesian closed category of domains, considered constructively
- A partial solution to an open problem of Amadio and Curien
- A Cartesian closed category of domains with almost algebraic bases
- Categories of embeddings
- Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains
- Cartesian closedness of a category of non-frame valued complete fuzzy orders
- Cartesian closed stable categories
- The common order-theoretic structure of version spaces and ATMSs
- Two Cartesian closed categories of information algebras
- Disjunctive systems and L-Domains
This page was built for publication: The largest Cartesian closed category of domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761042)
