Linear domains and linear maps
From MaRDI portal
Publication:5890060
DOI10.1007/3-540-58027-1_21OpenAlexW1543944822MaRDI QIDQ5890060
Publication date: 28 April 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58027-1_21
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Quasi-prime algebraic domains
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
- Linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- The largest Cartesian closed category of domains
- On powerdomains and modality
- Domain theory in logical form
- \(dI\)--domains as prime information systems
- Tensor Products and Bimorphisms
- Cartesian closed categories of domains and the space proj(D)
This page was built for publication: Linear domains and linear maps