An Explicit Formula for the Free Exponential Modality of Linear Logic

DOI10.1007/978-3-642-02930-1_21zbMath1248.03080OpenAlexW1560529447MaRDI QIDQ3638099

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

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)

Related Items

What is a categorical model of the differential and the resource λ-calculi? ⋮ Equivalences and Congruences on Infinite Conway Games ⋮ Parsimonious Types and Non-uniform Computation ⋮ Non-linearity as the Metric Completion of Linearity ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ An explicit formula for the free exponential modality of linear logic ⋮ Imperative programs as proofs via game semantics ⋮ Multigames and strategies, coalgebraically ⋮ Structural rules and algebraic properties of intersection types ⋮ Resource modalities in tensor logic ⋮ On Banach spaces of sequences and free linear logic exponential modality ⋮ Weighted models for higher-order computation ⋮ The Free Exponential Modality of Probabilistic Coherence Spaces ⋮ From Qualitative to Quantitative Semantics ⋮ Convenient antiderivatives for differential linear categories ⋮ On Sweedler's cofree cocommutative coalgebra. ⋮ Constructing Differential Categories and Deconstructing Categories of Games ⋮ On the Hardness of Proving CCA-Security of Signed ElGamal ⋮ An Algebraic Account of References in Game Semantics ⋮ Monoidal-closed categories of tree automata ⋮ Infinitary affine proofs

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