Kostia Chardonnet

16 papers B 4C 1Journal 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Approximation theory for distant Bang calculus.
CoRR
Kostia Chardonnet, Jules Chouquet, Axel Kerinec
2026 J jnl
Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction.
CoRR
Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2025 J jnl
A Curry-Howard Correspondence for Linear, Reversible Computation.
Log. Methods Comput. Sci.
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
2025 J jnl
Resource-Aware Hybrid Quantum Programming with General Recursion and Quantum Control.
CoRR
Kostia Chardonnet, Emmanuel Hainry, Romain Péchoux, Thomas Vinet
2025 J jnl
The Many-Worlds Calculus.
Log. Methods Comput. Sci.
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2025 J jnl
The Tensor-Plus Calculus.
CoRR
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2024 B conf
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types.
FSCD
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
2023 B conf
A Curry-Howard Correspondence for Linear, Reversible Computation.
CSL
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
2023 J jnl
A Curry-Howard Correspondence for Linear, Reversible Computation.
CoRR
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
2023 J jnl
Semantics for a Turing-complete Reversible Programming Language with Inductive Types.
CoRR
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
2023 — —
Towards a Curry-Howard Correspondence for Quantum Computation. (Vers une correspondance de Curry-Howard pour le calcul quantique).
Kostia Chardonnet
2022 J jnl
Geometry of Interaction for ZX-Diagrams.
CoRR
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
2022 J jnl
The Many-Worlds Calculus: Representing Quantum Control.
CoRR
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2021 B conf
Categorical Semantics of Reversible Pattern-Matching.
MFPS
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
2021 B conf
Geometry of Interaction for ZX-Diagrams.
MFCS
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
2020 C conf
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.
RC
Kostia Chardonnet, Alexis Saurin, Benoît Valiron