Two linearities for quantum computing in the lambda calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue BioSystems Année : 2019

Two linearities for quantum computing in the lambda calculus

Résumé

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 superposi-tion, 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.
Fichier principal
Vignette du fichier
twolineariries.pdf (558.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02909128 , version 1 (30-07-2020)

Licence

Paternité

Identifiants

  • HAL Id : hal-02909128 , version 1

Citer

Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi. Two linearities for quantum computing in the lambda calculus. BioSystems, 2019. ⟨hal-02909128⟩
56 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More