The following pages link to Roberto Maieli (Q1407587):
Displayed 13 items.
- A new correctness criterion for multiplicative non-commutative proof nets (Q1407588) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- Non decomposable connectives of linear logic (Q2326414) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic (Q3498480) (← links)
- (Q4938434) (← links)
- Construction of Retractile Proof Structures (Q5170825) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Generalized connectives for multiplicative linear logic (Q5874191) (← links)
- A proof of the focusing theorem via MALL proof nets (Q6102990) (← links)