Kostia Chardonnet

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Database Languages

Denotational Semantics

Programming Language

Top Venues

Publications

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. FSCD (2024)
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
Semantics for a Turing-complete Reversible Programming Language with Inductive Types. CoRR (2023)
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
A Curry-Howard Correspondence for Linear, Reversible Computation. CoRR (2023)
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
A Curry-Howard Correspondence for Linear, Reversible Computation. CSL (2023)
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
The Many-Worlds Calculus: Representing Quantum Control. CoRR (2022)
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
Geometry of Interaction for ZX-Diagrams. CoRR (2022)
Louis Lemonnier, Kostia Chardonnet, Benoît Valiron
Categorical Semantics of Reversible Pattern-Matching. MFPS (2021)
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
Geometry of Interaction for ZX-Diagrams. MFCS (2021)
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. RC (2020)