Universal profinite domains

DOI10.1016/0890-5401(87)90048-4zbMath0628.68050OpenAlexW1964273999MaRDI QIDQ1093371

Carl A. Gunter

Publication date: 1987

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(87)90048-4

zbMATH Keywords

information systemspreorderdomain theoryprofinite domainsprogramming semanticsuniversal domainbicartesian closed categorydomain equationPlotkin order

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35) Theory of computing (68Q99)

Related Items (20)

Spectral sets ⋮ Pseudo-retract functors for local lattices and bifinte L-domains ⋮ Universal quasi-prime algebraic domains ⋮ Stable power domains ⋮ A Purely Definitional Universal Domain ⋮ Universal domains and the amalgamation property ⋮ A concrete realization of the Hoare powerdomain ⋮ The dependent product construction in various categories of domains ⋮ Domain theory in logical form ⋮ Universal homogeneous event structures and domains ⋮ Recursive types for Fun ⋮ Toward a semantics for the QUEST language ⋮ I-categories as a framework for solving domain equations ⋮ The mixed powerdomain ⋮ Domains via graphs ⋮ Coherence and consistency in domains ⋮ Domain theoretic models of polymorphism ⋮ On a generalized product for domains ⋮ Almost Every Domain is Universal ⋮ Information categories

Cites Work

• The largest Cartesian closed category of domains
• \(\mathbb{T}^\omega\) as a universal domain
• The lambda calculus, its syntax and semantics
• Continuously generated fixed points
• Randomized geometric algorithms and pseudorandom generators
• Models of the lambda calculus
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Universal profinite domains