Evaluating higher-order functional programs through abstract machines inspired by the
geometry of the interaction is known to induce space efficiencies, the price being time …

We introduce a Geometry of Interaction model for higher-order quantum computation, and
prove its adequacy for a fully fledged quantum programming language in which …

In this paper, we propose an approach to quantum λ-calculi. The 'quantum data-classical
control'paradigm is considered. Starting from a measurement-free untyped quantum λ …

While much of the current study on quantum computation employs low-level formalisms such
as quantum circuits, several high-level languages/calculi have been recently proposed …

We graft synchronization onto Girard's Geometry of Interaction in its most concrete form,
namely token machines. This is realized by introducing proof-nets for SMLL, an extension of …

Abstract qPCF is a paradigmatic quantum programming language that extends PCF with
quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data …

In this thesis, we are interested in the development of a Curry-Howard correspondence for
quantum computing, allowing to represent quantum types andquantum control-flow. In the …

We present IQu, namely a quantum programming language that extends Reynold's
Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative …

Contrary to the classical case, the relation between quantum programming languages and
quantum Turing Machines (QTM) has not been fully investigated. In particular, there are …

We know that quantum logics are the most prominent logical systems associated to the
lattices of closed Hilbert subspaces. However, what happen if, following a quantum …