On Natural Non-dcpo Domains

DOI10.1007/978-3-540-78127-1_34MaRDI QIDQ5452201zbMATH OpenOpenAlexFDO

Authors Vladimir Yu. Sazonov

Publication date 25 March 2008

Published in Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78127-1_34

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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)

• Non-manipulable domains for the Borda count
• Inductive Definition and Domain Theoretic Properties of Fully Abstract
• Natural non-dcpo domains and f-spaces
• On naturally continuous non-dcpo domains

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)