The following pages link to The additive multiboxes (Q1861326):
Displaying 4 items.
- Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. (Q1398477) (← links)
- The geometry of non-distributive logics (Q5486243) (← links)
