Pablo Arrighi ; Gilles Dowek - Lineal: A linear-algebraic Lambda-calculus

lmcs:3203 - Logical Methods in Computer Science, March 17, 2017, Volume 13, Issue 1 -
Lineal: A linear-algebraic Lambda-calculusArticle

Authors: Pablo Arrighi ; Gilles Dowek

    We provide a computational definition 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 field of quantum computation, whose circuits we show can be easily encoded in the calculus. Finally, we prove the confluence of the entire calculus.

    Volume: Volume 13, Issue 1
    Published on: March 17, 2017
    Accepted on: March 17, 2017
    Submitted on: March 17, 2017
    Keywords: Quantum Physics,Computer Science - Logic in Computer Science,Computer Science - Programming Languages,03B40, 68N18, 81P68,F.4.1,F.4.2,F.1.1


    Factorize Factorization
    Factorize Factorization
    • 1 ScholeXplorer

    3 Documents citing this article

    Consultation statistics

    This page has been seen 1747 times.
    This article's PDF has been downloaded 974 times.