An explicit formula for the free exponential modality of linear logic
From MaRDI portal
Publication:4577986
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
Cites work
- An Explicit Formula for the Free Exponential Modality of Linear Logic
- Asynchronous games 3 an innocent model of linear logic
- Categorical semantics of linear logic
- Coherence for compact closed categories
- Finiteness spaces
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- scientific article; zbMATH DE number 4103051 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- Linear logic
- On Köthe sequence spaces and linear logic
- The blind spot. Course in logic. I. On the perfection
Cited in
(20)- Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
- Exponential functions in Cartesian differential categories
- A functorial bridge between the infinitary affine lambda-calculus and linear logic
- The free exponential modality of probabilistic coherence spaces
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
- Exponentials with infinite multiplicities
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic
- An Explicit Formula for the Free Exponential Modality of Linear Logic
- scientific article; zbMATH DE number 517072 (Why is no real title available?)
- On Banach spaces of sequences and free linear logic exponential modality
- Linear exponential comonads without symmetry
- A monad for probabilistic point processes
- Why \textsf{FHilb} is not an interesting (co)differential category
- Holomorphic models of exponential types in linear logic
- scientific article; zbMATH DE number 7774245 (Why is no real title available?)
- LNL polycategories and doctrines of linear logic
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- Cartesian differential categories as skew enriched categories
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 Q4577986)
