Publications HAL

2025

Preprints, Working Papers, ...

ref_biblio
Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation. 2025. ⟨hal-03747425v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03747425/file/CH.pdf BibTex
ref_biblio
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart. The Many-Worlds Calculus. 2025. ⟨hal-03654190v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03654190/file/MW.pdf BibTex

2024

Conference papers

ref_biblio
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron. Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩. ⟨hal-04636603⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04636603/file/LIPIcs.FSCD.2024.19.pdf BibTex

2023

Conference papers

ref_biblio
Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation. CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩. ⟨hal-04308283⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04308283/file/main.pdf BibTex

Theses

ref_biblio
Kostia Chardonnet. Towards a Curry-Howard Correspondence for Quantum Computation. Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG005⟩. ⟨tel-03959403⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03959403/file/117152_CHARDONNET_2023_archivage.pdf BibTex

2021

Conference papers

ref_biblio
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams. MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.30:1--30:16, ⟨10.4230/LIPIcs.MFCS.2021.30⟩. ⟨hal-03154573⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03154573/file/Geometry%20of%20Interaction%20for%20ZX-Diagrams.pdf BibTex
ref_biblio
Kostia Chardonnet, Alexis Saurin, Benoît Valiron. Towards a Curry-Howard Correspondence for Linear, Reversible Computation. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271484⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271484/file/TLLA_2021_paper_7.pdf BibTex
ref_biblio
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams. TLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy. ⟨lirmm-03272411⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03272411/file/TLLA_2021_paper_2.pdf BibTex
ref_biblio
Benoît Valiron, Kostia Chardonnet, Louis Lemonnier. Categorical Semantics of Reversible Pattern-Matching. Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021, Salzburg, Austria. pp.18-33, ⟨10.4204/EPTCS.351.2⟩. ⟨hal-03553872⟩
Accès au bibtex
https://arxiv.org/pdf/2109.05837 BibTex

2020

Conference papers

ref_biblio
Kostia Chardonnet, Alexis Saurin, Benoît Valiron. Toward a Curry-Howard Equivalence for Linear, Reversible Computation. RC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩. ⟨hal-03103455⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03103455/file/main.pdf BibTex