Abstract. We describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of this extension of λ- ...
Aug 5, 2013 · Abstract. We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the linear-algebraic aspects of ...
Aug 5, 2013 · We describe a type system for the linear-algebraic \lambda-calculus. The type system accounts for the linear-algebraic aspects of this extension of \lambda- ...
Jul 7, 2020 · We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) has been originally designed for quantum computing.
May 7, 2018 · Abstract. We describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of this ...
Abstract. International audienceWe describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of ...
The Vectorial λ-calculus [3], denoted as λvec, restricted λlin by providiing a formal account of linear operators and vectors at the level of the type system, ...
Abstract : We describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of this extension of ...
People also ask
What does lambda mean in calculus?
What was the purpose of inventing the lambda calculus?
What is the lambda calculus in a nutshell?
What are models of the lambda calculus?
The Vectorial Lambda-Calculus · P. Arrighi, Alejandro Díaz-Caro, Benoît Valiron · Published in arXiv.org 5 August 2013 · Mathematics, Computer Science.
We propose a type system with both sums and scalars, reflecting the vectorial structure of the vectorial lambda-calculus. Interestingly enough, combining ...