On a generalized product for domains

DOI10.1016/0304-3975(93)90341-PzbMath0783.68074OpenAlexW2136706927MaRDI QIDQ1311968

Walter Dosch

Publication date: 19 January 1994

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

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90341-p

zbMATH Keywords

domains\(I\)-productdenotational description of programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The largest Cartesian closed category of domains
• Universal profinite domains
• Effectively given domains
• Programming in a wide spectrum language: A collection of examples
• Describing semantic domains with sprouts
• On the power of list iteration
• The Category-Theoretic Solution of Recursive Domain Equations
• The denotational semantics of programming languages
• Initial Algebra Semantics and Continuous Algebras
• Can programming be liberated from the von Neumann style?

This page was built for publication: On a generalized product for domains