scientific article; zbMATH DE number 4083878
From MaRDI portal
Publication:3812427
Recommendations
Cited in
(47)- Coherence and consistency in domains
- Categories of embeddings
- Factorisation systems on domains
- Information categories
- Stable power domains
- Approximating labelled Markov processes
- Posets having continuous intervals
- Lifting results for categories of algebras
- Fixed points of Scott continuous self-maps
- Compact continuous \(L\)-domains
- Continuous L-domains in logical form
- On the equivalence of Rudin's lemma and the Boolean prime ideal theorem
- On the largest Cartesian closed category of stable domains.
- Formal contexts for algebraic domains
- On Cartesian closed categories of modified weak extended-order algebras
- Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
- Almost algebraic bases and bounded complete domains
- scientific article; zbMATH DE number 3881863 (Why is no real title available?)
- scientific article; zbMATH DE number 3884351 (Why is no real title available?)
- The properties of BC-domains and characterization theorems for core compact spaces
- Some reasons for generalising domain theory
- scientific article; zbMATH DE number 3982548 (Why is no real title available?)
- scientific article; zbMATH DE number 4063163 (Why is no real title available?)
- scientific article; zbMATH DE number 48416 (Why is no real title available?)
- scientific article; zbMATH DE number 55673 (Why is no real title available?)
- scientific article; zbMATH DE number 1284147 (Why is no real title available?)
- scientific article; zbMATH DE number 742722 (Why is no real title available?)
- A uniform approach to domain theory in realizability models
- scientific article; zbMATH DE number 1559386 (Why is no real title available?)
- A note on the problem when FS-domains coincide with RB-domains
- scientific article; zbMATH DE number 1829710 (Why is no real title available?)
- \(KF\)-continuous spaces and \(KF\)-quasicontinuous spaces
- Maximal classes of spaces and domains determined by topologies on function spaces of domains
- Prevision Domains and Convex Powercones
- Cartesian closed categories of algebraic cpos
- Lawson compactness on function spaces of pointed quasicontinuous domains with property M
- Pseudo-retract functors for local lattices and bifinte L-domains
- L-domains and lossless powerdomains
- Characterising FS domains by means of power domains
- Topological representations of Lawson compact algebraic L-domains and Scott domains
- A simple language supporting angelic nondeterminism and parallel composition
- Cartesian closed categories of domains and the space proj(D)
- An upper power domain construction in terms of strongly compact sets
- Fixed points in Cartesian closed categories
- Two categories of effective continuous cpos
- Non-deterministic information systems and their domains
- An algebraic approach to stable domains
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3812427)
