Universal profinite domains (Q1093371): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The lambda calculus, its syntax and semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuously generated fixed points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3907039 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3691052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4190093 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Models of the lambda calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5622402 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Randomized geometric algorithms and pseudorandom generators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Powerdomain Construction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\mathbb{T}^\omega\) as a universal domain / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5649639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data Types as Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3664454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3960746 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3959414 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4195918 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The largest Cartesian closed category of domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Category-Theoretic Solution of Recursive Domain Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3326830 / rank | |||
Normal rank |
Latest revision as of 12:55, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universal profinite domains |
scientific article |
Statements
Universal profinite domains (English)
0 references
1987
0 references
The author introduces and studies the profinite domains in the order- theoretic approach to programming semantics. The mathematical problem of the existence of a profinite universal domain is investigated. Thus, the paper provides and explains a technique for constructing an infinite class of universal profinite domains. The category of profinite domains and continuous functions is shown to be bicartesian closed and necessary conditions are provided for the existence of solutions of domain equations within this category. According to the author, ``this is a rather natural, and in a sense inevitable, category which contains SFP (see Plotkin, 1976) as a full subcategory''. An approach similar to information systems is extended to categories larger than the one considered by Scott.
0 references
domain theory
0 references
domain equation
0 references
preorder
0 references
Plotkin order
0 references
bicartesian closed category
0 references
profinite domains
0 references
programming semantics
0 references
universal domain
0 references
information systems
0 references