2008 | OriginalPaper | Buchkapitel
Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
verfasst von : Pablo Arrighi, Gilles Dowek
Erschienen in: Rewriting Techniques and Applications
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We introduce a minimal language combining higher-order computation and linear algebra. This language extends the
λ
-calculus with the possibility to make arbitrary linear combinations of terms
α
.
t
+
β
.
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 calculus, this is our main result.