529 citations · 1.5k across the 38 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.LO2010★ 5 cited
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
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…
cs.LO2010★ 3 cited
Semantics of a Typed Algebraic Lambda-Calculus
Benoît Valiron
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lamb…
cs.LO2010★ 23 cited
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix +2
We examine the relationship between the algebraic lambda-calculus, a fragment of the differential lambda-calculus and the linear-algebraic lambda-calculus, a candidate lambda-calcu…