TY - RPRT TI - Non-normal modalities in variants of Linear Logic AU - Daniele Porello AU - Nicolas Troquard PY - 2015 DO - 10.1080/11663081.2015.1080422 UR - https://arxiv.org/abs/1503.04193 ID - 1503.04193 ER -