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