Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [53 references]  Display  Hide  Download
Contributor : Gilles Dowek Connect in order to contact the contributor
Submitted on : Tuesday, December 17, 2013 - 10:04:02 AM
Last modification on : Wednesday, July 6, 2022 - 4:12:36 AM
Long-term archiving on: : Monday, March 17, 2014 - 10:30:09 PM


Files produced by the author(s)


  • HAL Id : hal-00919625, version 1



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



Record views


Files downloads