Proof diagrams for multiplicative linear logic: Syntax and semantics
M Acclavio - Journal of Automated Reasoning, 2019 - Springer
Proof nets are a syntax for linear logic proofs which gives a coarser notion of proof
equivalence with respect to syntactic equality together with an intuitive geometrical …
equivalence with respect to syntactic equality together with an intuitive geometrical …
Coherence for braided and symmetric pseudomonoids
D Verdon - arxiv preprint arxiv:1705.09354, 2017 - arxiv.org
Presentations for unbraided, braided and symmetric pseudomonoids are defined.
Biequivalences characterising the semistrict bicategories generated by these presentations …
Biequivalences characterising the semistrict bicategories generated by these presentations …
[PDF][PDF] Construction of physical models from category theory
M Marjanovic - 2017 - fy.chalmers.se
This thesis is a literature study which aims to present an introduction to category theory in a
way suitable for the practicing physicist. We particularly focus on monoidal categories from …
way suitable for the practicing physicist. We particularly focus on monoidal categories from …
Proof diagrams for multiplicative linear logic
M Acclavio - arxiv preprint arxiv:1606.09016, 2016 - arxiv.org
The original idea of proof nets can be formulated by means of interaction nets syntax.
Additional machinery as switching, jumps and graph connectivity is needed in order to …
Additional machinery as switching, jumps and graph connectivity is needed in order to …