American Psychological Association 6th edition

Chardonnet, K., Saurin, A., Valiron, B., Saurin, A., & Kostia Chardonnet and Alexis Saurin and Benoît Valiron. (2025). A Curry-Howard Correspondence for Linear, Reversible Computation. Logical Methods in Computer Science, 21. https://doi.org/10.46298/lmcs-21(3:4)2025

ISO-690 (author-date, English)

CHARDONNET, Kostia, SAURIN, Alexis, VALIRON, Benoît, SAURIN, Alexis and KOSTIA CHARDONNET AND ALEXIS SAURIN AND BENOÎT VALIRON, 2025. A Curry-Howard Correspondence for Linear, Reversible Computation. Logical Methods in Computer Science. 15 July 2025. Vol. 21, , . DOI 10.46298/lmcs-21(3:4)2025.

Modern Language Association 9th edition

Chardonnet, K., A. Saurin, B. Valiron, A. Saurin, and Kostia Chardonnet and Alexis Saurin and Benoît Valiron. “A Curry-Howard Correspondence for Linear, Reversible Computation”. Logical Methods in Computer Science, vol. 21, July 2025, https://doi.org/10.46298/lmcs-21(3:4)2025.

Mohr Siebeck - Recht (Deutsch - Österreich)

Chardonnet, Kostia/Saurin, Alexis/Valiron, Benoît/Saurin, Alexis/Kostia Chardonnet and Alexis Saurin and Benoît Valiron: A Curry-Howard Correspondence for Linear, Reversible Computation, Logical Methods in Computer Science 2025,

Emerald - Harvard

Chardonnet, K., Saurin, A., Valiron, B., Saurin, A. and Kostia Chardonnet and Alexis Saurin and Benoît Valiron. (2025), “A Curry-Howard Correspondence for Linear, Reversible Computation”, Logical Methods in Computer Science, Vol. 21, available at:https://doi.org/10.46298/lmcs-21(3:4)2025.

Warning: These citations may not always be 100% accurate.