An explicit formula for the free exponential modality of linear logic

DOI10.1017/S0960129516000426zbMath1456.03102OpenAlexW2606916197WikidataQ115562806 ScholiaQ115562806MaRDI QIDQ4577986

Nicolas Tabareau, Christine Tasson, Paul-André Melliès

Publication date: 7 August 2018

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

Full work available at URL: https://doi.org/10.1017/s0960129516000426

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

Cartesian differential categories as skew enriched categories ⋮ LNL polycategories and doctrines of linear logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Exponential functions in Cartesian differential categories

Cites Work

• Linear logic
• Coherence for compact closed categories
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• On Köthe sequence spaces and linear logic
• Finiteness spaces
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An explicit formula for the free exponential modality of linear logic