The following pages link to (Q4263872):
Displayed 10 items.
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. (Q1398477) (← links)
- Stratified coherence spaces: A denotational semantics for light linear logic (Q1827389) (← links)
- Polarized proof-nets and \(\lambda \mu\)-calculus (Q1853586) (← links)
- The additive multiboxes (Q1861326) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)