On Natural Non-dcpo Domains
From MaRDI portal
Publication:5452201
Recommendations
- On naturally continuous non-dcpo domains
- Natural non-dcpo domains and f-spaces
- Non-Smirnov Domains
- scientific article; zbMATH DE number 516961
- On non-distinguished matrix domains
- Non-Catenary factorial domains
- scientific article; zbMATH DE number 1189290
- A taxonomy of non-dictatorial unidimensional domains
- Natural domain SMT: a preliminary assessment
- ON THE STRUCTURE OF STABLE DOMAINS
Cites work
- scientific article; zbMATH DE number 3532921 (Why is no real title available?)
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Computable functionals of finite types
- Expressibility of functionals in D. Scott's LCF language
- Full abstraction for PCF
- Fully abstract models of typed \(\lambda\)-calculi
- Inductive Definition and Domain Theoretic Properties of Fully Abstract
- LCF considered as a programming language
- On full abstraction for PCF: I, II and III
- On sequential functionals of type 3
Cited in
(4)
This page was built for publication: On Natural Non-dcpo Domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452201)