On a generalized product for domains
From MaRDI portal
Publication:1311968
DOI10.1016/0304-3975(93)90341-PzbMath0783.68074OpenAlexW2136706927MaRDI QIDQ1311968
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
Uses Software
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