19 citations · 24 across the 7 of their papers we have counts for
7 papers
A programming language combining quantum and classical control
Kinnari Dave, Louis Lemonnier, Romain Péchoux +1
The two main notions of control in quantum programming languages are often referred to as "quantum control" and "classical control". With the latter, the control flow is based on c…
The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
Louis Lemonnier
This thesis revolves around an area of computer science called "semantics". We work with operational semantics, equational theories, and denotational semantics. The first contribut…
Semantics for a Turing-complete Reversible Programming Language with Inductive Types
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
This paper is concerned with the expressivity and denotational semantics of a functional higher-order reversible programming language based on Theseus. In this language, pattern-ma…
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
TItouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Monads in category theory are algebraic structures that can be used to model computational effects in programming languages. We show how the notion of "centre", and more generally…
Large-scale quantum diagrammatic reasoning tools, !-boxes vs. scalable notations
Titouan Carette, Louis Lemonnier
The application of diagrammatic reasoning techniques to large-scale quantum processes needs specific tools to describe families of diagrams of arbitrary size. For now, large-scale…
Categorical Semantics of Reversible Pattern-Matching
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
This paper is concerned with categorical structures for reversible computation. In particular, we focus on a typed, functional reversible language based on Theseus. We discuss how…
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
Louis Lemonnier, John van de Wetering, Aleks Kissinger
The ZH-calculus is a complete graphical calculus for linear maps between qubits that admits a straightforward encoding of hypergraph states and circuits arising from the Toffoli+Ha…