Pages that link to "Item:Q3498480"

The following pages link to Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic (Q3498480):

Displaying 9 items.

• Homology of proof-nets (Q1330310) (← links)
• Head linear reduction and pure proof net extraction (Q1342250) (← links)
• Sequent reconstruction in LLM -- A sweepline proof (Q1892938) (← links)
• Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
• Rewritings for polarized multiplicative and exponential proof structures (Q2870318) (← links)
• Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
• (Q5089024) (← links)
• Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
• A proof of the focusing theorem via MALL proof nets (Q6102990) (← links)