On Natural Non-dcpo Domains

DOI10.1007/978-3-540-78127-1_34zbMATH Open1133.68373OpenAlexW1528598939MaRDI QIDQ5452201FDOQ5452201

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• LCF considered as a programming language
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Computable functionals of finite types
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Fully abstract models of typed \(\lambda\)-calculi
• Expressibility of functionals in D. Scott's LCF language
• Title not available (Why is that?)
• Inductive Definition and Domain Theoretic Properties of Fully Abstract
• 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)