Ferreira, G., Oliva, P., & Protin, C. L. (2024). On the Various Translations between Classical, Intuitionistic and Linear Logic.
Style de citation Chicago (17e éd.)Ferreira, Gilda, Paulo Oliva, et Clarence Lewis Protin. On the Various Translations Between Classical, Intuitionistic and Linear Logic. 2024.
Style de citation MLA (9e éd.)Ferreira, Gilda, et al. On the Various Translations Between Classical, Intuitionistic and Linear Logic. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.