Type Isomorphisms for Multiplicative-Additive Linear Logic

Rémi Di Guardia, Olivier Laurent

We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for t…