TY - RPRT TI - A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments AU - Thomas Seiller PY - 2015 DO - 10.1017/s0960129516000062 UR - https://arxiv.org/abs/1408.2125 ID - 1408.2125 ER -