Pages that link to "Item:Q1398477"

The following pages link to Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. (Q1398477):

Displaying 11 items.

• Polarized and focalized linear and classical proofs (Q556824) (← links)
• Strong normalization property for second order linear logic (Q1044837) (← links)
• Linear logic by levels and bounded time complexity (Q1044841) (← links)
• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. (Q1398477) (← links)
• Linear logic and elementary time (Q1401946) (← links)
• The additive multiboxes (Q1861326) (← links)
• Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
• An abstract approach to stratification in linear logic (Q2343125) (← links)
• (Q5094132) (← links)
• The conservation theorem for differential nets (Q5360213) (← links)
• The geometry of non-distributive logics (Q5486243) (← links)