Related Experiment Video
Updated: Jan 3, 2026

Generation and Coherent Control of Pulsed Quantum Frequency Combs
Published on: June 8, 2018
Two linearities for quantum computing in the lambda calculus
Alejandro Díaz-Caro1, Gilles Dowek2, Juan Pablo Rinaldi3
1CONICET-UBA, ICC, Pabellón 1, Ciudad Universitaria, Buenos Aires, Argentina; Universidad Nacional de Quilmes, R. Sáenz Peña 352, Bernal, BA, Argentina.
Abstract:
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.
Related Concept Videos
Linear Circuits
Classification of Systems-I
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Linear time-invariant Systems
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
The Quantum-Mechanical Model of an Atom
The Pauli Exclusion Principle
Fundamental Theorem of Algebra

