On Banach spaces of sequences and free linear logic exponential modality

DOI10.1017/S0960129517000251zbMath1456.03106arXiv1509.03853OpenAlexW2271724099WikidataQ115562804 ScholiaQ115562804MaRDI QIDQ4611198

Sergey Slavnov

Publication date: 17 January 2019

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.03853

Mathematics Subject Classification ID

Sequence spaces (including Köthe sequence spaces) (46A45) Special categories (18B99) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Linear logic in normed cones: probabilistic coherence spaces and beyond

Cites Work

• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Linear logic
• Differential interaction nets
• Coherent Banach spaces: A continuous denotational semantics
• The differential lambda-calculus
• The Free Exponential Modality of Probabilistic Coherence Spaces
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• On Köthe sequence spaces and linear logic
• Holomorphic models of exponential types in linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item