9 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axio…