Resource modalities in tensor logic
From MaRDI portal
Publication:636303
DOI10.1016/j.apal.2009.07.018zbMath1223.03048MaRDI QIDQ636303
Nicolas Tabareau, Paul-André Melliès
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.018
linear logic; game semantics; categorical semantics; Conway games; resource modalities; tensor logic
03B70: Logic in computer science
18C50: Categorical semantics of formal languages
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Unnamed Item, The parametric continuation monad, Models of Linear Logic based on the Schwartz $\varepsilon$-product, Multiple Conclusion Linear Logic: Cut Elimination and More, Non-linearity as the Metric Completion of Linearity, N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic, Imperative programs as proofs via game semantics, Classical realizability in the CPS target language, On the Meaning of Focalization, From Focalization of Logic to the Logic of Focalization, Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Notions of computation and monads
- Coherence for compact closed categories
- Sequential algorithms on concrete data structures
- A game semantics for linear logic
- Semantics of weakening and contraction
- Pseudo-commutative monads and pseudo-closed 2-categories
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Completeness of continuation models for \(\lambda_\mu\)-calculus
- Control categories and duality: on the categorical semantics of the lambda-mu calculus
- Functorial Boxes in String Diagrams
- An Explicit Formula for the Free Exponential Modality of Linear Logic
- A new constructive logic: classic logic
- Logic Programming with Focusing Proofs in Linear Logic
- Games and full completeness for multiplicative linear logic
- Premonoidal categories and notions of computation
- Sequentiality vs. concurrency in games and logic
- CONCUR 2004 - Concurrency Theory
- On Double Dualization Monads.
- Degrees of indeterminacy of games
- Finiteness spaces