72 citations · 610 across the 64 of their papers we have counts for
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009
A computational definition of the notion of vectorial space
Pablo Arrighi, Gilles Dowek
We usually define an algebraic structure by a set, some operations defined on this set and some propositions that the algebraic structure must validate. In some cases, we can repla…
cs.LO2009★ 9 cited
A System F accounting for scalars
Pablo Arrighi, Alejandro Diaz-Caro
The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this pap…