Di Guardia, R., & Laurent, O. (2024). Type Isomorphisms for Multiplicative-Additive Linear Logic.
Cita Chicago Style (17a ed.)Di Guardia, Rémi, y Olivier Laurent. Type Isomorphisms for Multiplicative-Additive Linear Logic. 2024.
Cita MLA (9a ed.)Di Guardia, Rémi, y Olivier Laurent. Type Isomorphisms for Multiplicative-Additive Linear Logic. 2024.
Precaución: Estas citas no son 100% exactas.