Pages that link to "Item:Q2119124"
From MaRDI portal
The following pages link to A formal model for a linear time correctness condition of proof nets of multiplicative linear logic (Q2119124):
Displaying 6 items.
- An algebraic correctness criterion for intuitionistic multiplicative proof-nets (Q1960420) (← links)
- Minimality of the correctness criterion for multiplicative proof nets (Q4236199) (← links)
- A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819) (← links)
- (Q4501135) (← links)
- (Q5028444) (← links)
- Computer Science Logic (Q5311252) (← links)