Lineal: A linear-algebraic lambda-calculus

Abstract : We provide a computational de nition of the notions of vector space and bilinear functions. We use this result to introduce a minimal language combining higher-order computation and linear algebra. This language extends the lambda-calculus with the possibility to make arbitrary linear combinations of terms : alpha t + beta u. We describe how to \execute" this language in terms of a few rewrite rules, and justify them through the two fundamental requirements that the language be a language of linear operators, and that it be higher-order. We mention the perspectives of this work in the eld of quantum computation, whose circuits we show can be easily encoded in the calculus. Finally, we prove the confluence of the entire calculus.
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013
Liste complète des métadonnées

Littérature citée [53 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00919625
Contributeur : Gilles Dowek <>
Soumis le : mardi 17 décembre 2013 - 10:04:02
Dernière modification le : jeudi 11 janvier 2018 - 06:21:05
Document(s) archivé(s) le : lundi 17 mars 2014 - 22:30:09

Fichier

jlineal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00919625, version 1

Collections

Citation

Pablo Arrighi, Gilles Dowek. Lineal: A linear-algebraic lambda-calculus. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013. 〈hal-00919625〉

Partager

Métriques

Consultations de la notice

216

Téléchargements de fichiers

149