On the Meaning of Focalization
From MaRDI portal
Publication:3080087
DOI10.1007/978-3-642-19211-1_5zbMath1318.03058OpenAlexW1599373619MaRDI QIDQ3080087
Alexis Saurin, Michele Basaldella, Kazushige Terui
Publication date: 4 March 2011
Published in: Ludics, Dialogue and Interaction (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19211-1_5
Related Items
Cites Work
- Computational ludics
- Resource modalities in tensor logic
- A categorical semantics for polarized MALL
- Polarized games
- Locus Solum: From the rules of logic to the logic of rules
- The Duality of Computation under Focus
- From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
- Ludics is a Model for the Finitary Linear Pi-Calculus
- On the Meaning of Logical Completeness
- Focalisation and Classical Realisability
- Logic Programming with Focusing Proofs in Linear Logic
- Sequentiality vs. concurrency in games and logic
- Focusing Strategies in the Sequent Calculus of Synthetic Connectives