The following pages link to (Q4501135):
Displaying 5 items.
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819) (← links)
- Causal dependencies in multiplicative linear logic with MIX (Q4862762) (← links)
- (Q5109516) (← links)