Cartesian closed categories of domains and the space proj(D)

DOI10.1007/3-540-55511-0_13zbMath1522.06012MaRDI QIDQ6116575

Michael Huth

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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)

Related Items (1)

Linear domains and linear maps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The largest Cartesian closed category of domains
• Retractions of dI-domains as a model for Type:Type
• On powerdomains and modality
• The lattice of kernel operators and topological algebra
• Foundations of equational logic programming
• Dimension raising maps in topological algebra

This page was built for publication: Cartesian closed categories of domains and the space proj(D)