Kostia Chardonnet

According to our database, Kostia Chardonnet authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types.

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Towards a Curry-Howard Correspondence for Quantum Computation. (Vers une correspondance de Curry-Howard pour le calcul quantique).

Kostia Chardonnet

PhD thesis, 2023

A Curry-Howard Correspondence for Linear, Reversible Computation.

Kostia Chardonnet, Alexis Saurin, Benoît Valiron

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

The Many-Worlds Calculus: Representing Quantum Control.

Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart

CoRR, 2022

2021

Categorical Semantics of Reversible Pattern-Matching.

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Geometry of Interaction for ZX-Diagrams.

Kostia Chardonnet, Benoît Valiron, Renaud Vilmart

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.

Kostia Chardonnet, Alexis Saurin, Benoît Valiron

Proceedings of the Reversible Computation - 12th International Conference, 2020