The following pages link to The structure of multiplicatives (Q1264140):
Displaying 49 items.
- Observational equivalence for the interaction combinators and internal separation (Q2867902) (← links)
- Rewritings for polarized multiplicative and exponential proof structures (Q2870318) (← links)
- A coding theoretic study of MLL proof nets (Q2888855) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Non-crossing Tree Realizations of Ordered Degree Sequences (Q2964006) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- The Cut-Elimination Theorem for Differential Nets with Promotion (Q3637197) (← links)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
- Confluence of Pure Differential Nets with Promotion (Q3644769) (← links)
- (Q4222826) (← links)
- The shuffle Hopf algebra and noncommutative full completeness (Q4254690) (← links)
- Interpolation in fragments of classical linear logic (Q4302342) (← links)
- Games and full completeness for multiplicative linear logic (Q4302352) (← links)
- A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819) (← links)
- ! and ? – Storage as tensorial strength (Q4715669) (← links)
- Causal dependencies in multiplicative linear logic with MIX (Q4862762) (← links)
- Two-dimensional linear algebra (Q4917040) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Stochastic Lambek Categorial Grammars (Q4923553) (← links)
- A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus (Q4923572) (← links)
- (Q4993336) (← links)
- (Q4993356) (← links)
- (Q5014804) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5028428) (← links)
- (Q5028444) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5079739) (← links)
- (Q5079760) (← links)
- (Q5089024) (← links)
- A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Q5111318) (← links)
- Combinatorial flows and their normalisation (Q5111329) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Transcendental syntax I: deterministic case (Q5269009) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- A Theory for Game Theories (Q5458834) (← links)
- The geometry of non-distributive logics (Q5486243) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)
- Parsing MELL proof nets (Q5940925) (← links)
- Encoding Hamiltonian circuits into multiplicative linear logic (Q5958784) (← links)
- A proof of the focusing theorem via MALL proof nets (Q6102990) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)
