Preprint

2026

• Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
  Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
    BibTex

• Approximation theory for distant Bang calculus
  Kostia Chardonnet, Jules Chouquet, Axel Kerinec
    BibTex

2025

• The Tensor-Plus Calculus
  Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
    BibTex

• Resource-Aware Hybrid Quantum Programming with General Recursion and Quantum Control
  Kostia Chardonnet, Emmanuel Hainry, Romain Péchoux, Thomas Vinet
    BibTex

Journal

2025

• A Curry-Howard Correspondence for Linear, Reversible Computation
  Kostia Chardonnet, Alexis Saurin, Benoît Valiron
  In: Logical Methods in Computer Science, Volume 21, Issue 3.
    BibTex |   DOI

• The Many-Worlds Calculus
  Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
  In: Logical Methods in Computer Science, Volume 21, Issue 2.
    BibTex |   DOI

Conferences

2024

• Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
  Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
  In: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024).
    BibTex |   DOI

2023

• A Curry-Howard Correspondence for Linear, Reversible Computation
  Kostia Chardonnet, Alexis Saurin, Benoît Valiron
  In: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023).
    BibTex |   DOI

2021

• Categorical Semantics of Reversible Pattern-Matching
  Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
  In: 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021).
    BibTex |   DOI

• Geometry of Interaction for ZX-Diagrams
  Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
  In: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021).
    BibTex |   DOI

2020

• Toward a Curry-Howard Equivalence for Linear, Reversible Computation (Work In Progress)
  Kostia Chardonnet, Alexis Saurin, Benoît Valiron
  In: 12th International Conference on Reversible Computation (RC 2020).
    BibTex |   DOI

Workshops

2025

• A hybrid and reversible quantum language
  Kostia Chardonnet, Emmanuel Hinary, Romain Péchoux, Thomas Vinet
  In: Quantum Physics and Logic (QPL 2025).
  

2024

• From Lambda Calculus to Quantum Circuits Through the Geometry of Interaction
  Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino and Paolo Pistone
  In: 6th International Workshop on Quantum Compilation (QC 2024).
  

2023

• The Many-Worlds Calculus
  Kostia Chardonnet, Marc De Visme, Benoît Valiron and Renaud Vilmart
  In: Quantum Physics and Logic (QPL 2023).
  

2022

• The Many-Worlds Calculus
  Kostia Chardonnet, Marc De Visme, Benoît Valiron and Renaud Vilmart
  In: Quantum Physics and Logic (QPL 2022).