Recommendations
Cites work
- A linear algorithm for MLL proof net correctness and sequentialization
- Computational ludics
- Computer Science Logic
- Game semantics for first-order logic
- Games and full completeness for multiplicative linear logic
- scientific article; zbMATH DE number 1948178 (Why is no real title available?)
- scientific article; zbMATH DE number 1948179 (Why is no real title available?)
- Imperative programs as proofs via game semantics
- Incarnation in ludics and maximal cliques of paths
- Inductive and functional types in ludics
- Interaction graphs: full linear logic
- Interactive observability in Ludics: the geometry of tests
- Linear logic
- Locus solum: From the rules of logic to the logic of rules.
- Ludics and Its Applications to Natural Language Semantics
- Ludics and natural language: first approaches
- Ludics with repetitions (Exponentials, Interactive types and Completeness)
- Meaning, logic and ludics.
- Non-commutative logic II: sequent calculus and phase semantics
- Non-commutative logic. I: The multiplicative fragment
- Non-commutative logic. III: Focusing proofs.
- On the meaning of logical completeness
- Proof nets and explicit substitutions
- Proof nets for unit-free multiplicative-additive linear logic
- Quantales and (noncommutative) linear logic
- The Mathematics of Sentence Structure
Cited in
(7)- An interpretation of CCS into ludics
- Incarnation in ludics and maximal cliques of paths
- scientific article; zbMATH DE number 1948178 (Why is no real title available?)
- Ludics without designs. I: Triads
- scientific article; zbMATH DE number 7324348 (Why is no real title available?)
- Harmony in the light of computational ludics
- Gödel's absolute proofs and Girard's ludics: mutual insights
This page was built for publication: Study of behaviours via visitable paths
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4643962)
