@InProceedings{DiGuardiaLaurent25,
  author  = {Di Guardia, R{\'e}mi and Olivier Laurent},
  title   = {Type Isomorphisms for Multiplicative-Additive Linear Logic},
  journal = {Logical Methods in Computer Science},
  volume  = {21},
  issue   = {4},
  pages   = {24},
  month   = nov,
  year    = {2025},
  doi     = {10.46298/lmcs-21(4:24)2025}
}