Quantum computing (QC) has the potential to be the next abstruse technology, with a wide
range of possible applications and ramifications for organizations and markets. QC provides …

While recent progress in quantum hardware open the door for significant speedup in certain
key areas, quantum algorithms are still hard to implement right, and the validation of such …

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 λ …

We introduce a first-order quantum programming language, named foq, whose terminating
programs are reversible. We restrict foq to a strict and tractable subset, named pfoq, 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 …

We propose qPCF, a functional language able to define and manipulate quantum circuits in
an easy and intuitive way. qPCF follows the tradition of “quantum data & classical control” …

We present RSLR, an implicit higher-order characterization of the class PP of those
problems which can be decided in probabilistic polynomial time with error probability …

Circuit description languages are a class of quantum programming languages in which
programs are classical and produce a description of a quantum computation, in the form of a …

We develop a linear logical framework within the Hybrid system and use it to reason about
the type system of a quantum lambda calculus. In particular, we consider a practical version …

Abstract The Distributed Temporal Logic DTL allows one to reason about temporal
properties of a distributed system from the local point of view of the system's agents, which …