Linear domains and linear maps

DOI10.1007/3-540-58027-1_21MaRDI QIDQ5890060zbMATH OpenOpenAlexFDO

Authors Michael Huth

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

zbMATH Keywords

denotational semanticfull subcategoryinverse limitlinear logiclinear type

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A maximal monoidal closed category of distributive algebraic domains
• scientific article; zbMATH DE number 7308469
• Poset-valued sets or how to build models for linear logics
• Linear types and approximation
• Quantitative domains and infinitary algebras

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• dI--domains as prime information systems
• Cartesian closed categories of domains and the space proj(D)
• Domain theory in logical form
• scientific article; zbMATH DE number 3880769 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Linear logic
• On powerdomains and modality
• Tensor Products and Bimorphisms
• The largest Cartesian closed category of domains

Cited in

(15)

• A maximal monoidal closed category of distributive algebraic domains
• On linearly compact integral domains
• The LLE and a linear mapping
• Locally Boolean domains
• Linear types and approximation
• scientific article; zbMATH DE number 3884310 (Why is no real title available?)
• The Scott model of linear logic is the extensional collapse of its relational model
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Bistructures, bidomains and linear logic
• Quantitative domains, groupoids and linear logic
• Normal forms, linearity, and prime algebraicity over nonflat domains
• scientific article; zbMATH DE number 5218509 (Why is no real title available?)
• Quasi-prime algebraic domains
• Two-dimensional Kripke semantics. II: Stability and completeness
• A profunctorial Scott semantics

This page was built for publication: Linear domains and linear maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5890060)