A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments - Thomas Seiller (2014)