Jump from parallel to sequential proofs: exponentials
From MaRDI portal
Publication:4577985
DOI10.1017/S0960129516000414zbMath1456.03096OpenAlexW2558217699WikidataQ113857442 ScholiaQ113857442MaRDI QIDQ4577985
Publication date: 7 August 2018
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129516000414
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computational ludics
- Linear logic
- Proof nets sequentialisation in multiplicative linear logic
- An exact correspondence between a typed pi-calculus and polarised proof-nets
- Interpreting a finitary pi-calculus in differential interaction nets
- Strong normalization property for second order linear logic
- Light linear logic
- Soft linear logic and polynomial time
- Polarized proof-nets and \(\lambda \mu\)-calculus
- Polarized games
- Syntax vs. semantics: A polarized approach
- Locus Solum: From the rules of logic to the logic of rules
- Rewritings for Polarized Multiplicative and Exponential Proof Structures
- Ludics with repetitions (Exponentials, Interactive types and Completeness)
- Asynchronous Games: Innocence Without Alternation
- Ludics is a Model for the Finitary Linear Pi-Calculus
- Jump from Parallel to Sequential Proofs: Multiplicatives
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic
- Thick Subtrees, Games and Experiments
- Jumping Boxes
- A new constructive logic: classic logic
- Logic Programming with Focusing Proofs in Linear Logic
- Sequentiality vs. concurrency in games and logic
- Computer Science Logic