The following pages link to Computer Science Logic (Q5311252):
Displaying 16 items.
- Proof nets sequentialisation in multiplicative linear logic (Q952490) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- The additive multiboxes (Q1861326) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- Completeness of MLL proof-nets w.r.t. weak distributivity (Q3426569) (← links)
- Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic (Q3498480) (← links)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
- A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819) (← links)
- (Q4501135) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5028444) (← links)
- (Q5109516) (← links)
- Unification nets (Q5145330) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Proof nets for unit-free multiplicative-additive linear logic (Q5277740) (← links)