@InProceedings{DiGuardiaLaurent23,
  author    = {Di Guardia, R{\'e}mi and Olivier Laurent},
  title     = {Type Isomorphisms for Multiplicative-Additive Linear Logic},
  booktitle = {International Conference on Formal Structures for Computation and Deduction (FSCD)},
  editor    = {Marco Gaboardi and van Raamsdonk, Femke},
  volume    = {260},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages     = {26:1--21},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik},
  month     = jul,
  year      = {2023},
  doi       = {10.4230/LIPIcs.FSCD.2023.26}
}