scientific article; zbMATH DE number 3986621
From MaRDI portal
Publication:3750109
parallelismbounded nondeterminismpowerdomainalgebraic cpo'scartesian closed category of continuous posetscategory of retractsorder theoretic semantics
Partial orders, general (06A06) Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Recommendations
- The largest Cartesian closed category of domains
- The largest Cartesian closed category of domains, considered constructively
- scientific article; zbMATH DE number 742722
- scientific article; zbMATH DE number 48416
- Retraction map categories and their applications to the construction of lambda calculus models
Cited in
(8)- A quick construction of a retraction of all retractions for stable bifinites
- A category of compositional domain-models for separable Stone spaces.
- All Cartesian closed categories of quasicontinuous domains consist of domains
- Down closed-quasi-injectivity of partially ordered acts
- On retracts of Cartesian products of finite posets
- The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
- scientific article; zbMATH DE number 1409624 (Why is no real title available?)
- Some economic applications of Scott 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 Q3750109)
