An Explicit Formula for the Free Exponential Modality of Linear Logic

DOI10.1007/978-3-642-02930-1_21MaRDI QIDQ3638099zbMATH OpenOpenAlexFDO

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

Publication date 14 July 2009

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02930-1_21

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• An explicit formula for the free exponential modality of linear logic
• A functorial bridge between the infinitary affine lambda-calculus and linear logic
• The free exponential modality of probabilistic coherence spaces
• On Banach spaces of sequences and free linear logic exponential modality
• Linear exponential comonads without symmetry

Cited in

(33)

• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Semantics of quantum programming languages: Classical control, quantum control
• Weighted models for higher-order computation
• A functorial bridge between the infinitary affine lambda-calculus and linear logic
• On the hardness of proving CCA-security of Signed ElGamal
• An algebraic account of references in game semantics
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• Equivalences and congruences on infinite Conway games
• The free exponential modality of probabilistic coherence spaces
• From qualitative to quantitative semantics. By change of base
• Constructing Differential Categories and Deconstructing Categories of Games
• Parsimonious types and non-uniform computation
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• Imperative programs as proofs via game semantics
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• An explicit formula for the free exponential modality of linear logic
• On Banach spaces of sequences and free linear logic exponential modality
• On Sweedler's cofree cocommutative coalgebra.
• Linear exponential comonads without symmetry
• Convenient antiderivatives for differential linear categories
• Monoidal-closed categories of tree automata
• Infinitary affine proofs
• Non-linearity as the metric completion of linearity
• Holomorphic models of exponential types in linear logic
• scientific article; zbMATH DE number 7774245 (Why is no real title available?)
• Structural rules and algebraic properties of intersection types
• Resource modalities in tensor logic
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Additive enrichment from coderelictions
• Coherent Taylor expansion as a bimonad
• Double glueing over free exponential: with measure theoretic applications
• Multigames and strategies, coalgebraically

This page was built for publication: An Explicit Formula for the Free Exponential Modality of Linear Logic

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