Cartesian closed categories of algebraic cpos
From MaRDI portal
Recommendations
Cites work
Cited in
(36)- The largest Cartesian closed category of domains, considered constructively
- A maximal monoidal closed category of distributive algebraic domains
- The logic of structures
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Stone duality and representation of stable domain
- scientific article; zbMATH DE number 2110611 (Why is no real title available?)
- scientific article; zbMATH DE number 4083878 (Why is no real title available?)
- scientific article; zbMATH DE number 1159734 (Why is no real title available?)
- scientific article; zbMATH DE number 1829710 (Why is no real title available?)
- Disjunctive systems and L-Domains
- Some hierarchies of \(\mathsf{QCB}_0\)-spaces
- The largest cartesian closed category of stable domains
- scientific article; zbMATH DE number 4063163 (Why is no real title available?)
- Partial map classifiers and partial cartesian closed categories
- A logical approach to stable domains
- An algebraic approach to stable domains
- Continuous \(L\)-domains
- Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
- On an open problem of Amadio and Curien: The finite antichain condition
- Almost algebraic bases and bounded complete domains
- Quotients of \(L\)-domains
- A STUDY ON THE CARTESIAN CLOSED CATEGORY POSM
- scientific article; zbMATH DE number 1284147 (Why is no real title available?)
- Representation of bifinite domains by BF-closure spaces
- L-domains and lossless powerdomains
- Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains
- scientific article; zbMATH DE number 3884351 (Why is no real title available?)
- Cartesian closeness of the categories of algebraic local complete posets and FS-local directed complete posets
- Limits and colimits in the category of pre-directed complete pre-ordered sets
- Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices
- Natural congruences and isomorphism theorems for directed complete partially ordered sets
- Cartesian closed categories of \(F\mathcal Z\)-domains
- Cartesian closedness of categories of completely distributive lattices
- Directed complete poset congruences
- scientific article; zbMATH DE number 2125647 (Why is no real title available?)
- A characterization of the least-fixed-point operator by dinaturality
This page was built for publication: Cartesian closed categories of algebraic cpos
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q584381)
