Quantum computers are available to use over the cloud, but the recent explosion of quantum
software platforms can be overwhelming for those deciding on which to use. In this paper …

With the potential of quantum algorithms to solve intractable classical problems, quantum
computing is rapidly evolving, and more algorithms are being developed and optimized …

We investigate an unsuspected connection between logical connectives with non-
harmonious deduction rules, such as Prior's tonk, and quantum computing. We argue that …

Quantum supermaps provide a framework in which higher order quantum processes can act
on lower order quantum processes. In doing so, they enable the definition and analysis of …

This text will first discuss the great and productive “linguistic turn” that originated in Logic, at
the end of the nineteenth century. After Turing's work on the Logical Computing Machine …

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 …

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The
first approach is to forbid duplicating variables, while the second is to consider all lambda …

Reversible computing is both forward and backward deterministic. This means that a
uniquely determined step exists from the previous computational configuration (backward …

We present a new Curry–Howard correspondence for classical first-order natural deduction.
We add to the lambda calculus an operator which represents, from the viewpoint of …

We prove a linearity theorem for an extension of linear logic with addition and multiplication
by a scalar: the proofs of some propositions in this logic are linear in the algebraic sense …