Kostia Chardonnet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2020–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Approximation Theory for Distant Bang Calculus. | Kostia Chardonnet, Jules Chouquet, Axel Kerinec |
| 2026 | FSCD | Resource-Aware Quantum Programming with General Recursion and Quantum Control. | Kostia Chardonnet, Emmanuel Hainry, Romain Pchoux, Thomas Vinet |
| 2024 | FSCD | Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. | Kostia Chardonnet, Louis Lemonnier, Benot Valiron |
| 2023 | CSL | A Curry-Howard Correspondence for Linear, Reversible Computation. | Kostia Chardonnet, Alexis Saurin, Benot Valiron |
| 2021 | MFCS | Geometry of Interaction for ZX-Diagrams. | Kostia Chardonnet, Benot Valiron, Renaud Vilmart |
| 2020 | RC | Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. | Kostia Chardonnet, Alexis Saurin, Benot Valiron |