72 citations · 610 across the 64 of their papers we have counts for
1 paper · 2 filters
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to…