Cartesian closed categories of separable Scott domains

DOI10.1016/j.tcs.2014.02.042zbMath1360.68572OpenAlexW2091675243MaRDI QIDQ2253174

Gordon D. Plotkin, Dana S. Scott, Andrej Bauer

Publication date: 25 July 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.02.042

zbMATH Keywords

lambda calculusCartesian closed categoryScott domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Cites Work

• The largest Cartesian closed category of domains
• \(\mathbb{T}^\omega\) as a universal domain
• A Powerdomain Construction
• Continuous Lattices and Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item