29 citations · 90 across the 13 of their papers we have counts for
3 papers · 1 filter
A convenient differential category
Richard Blute, Thomas Ehrhard, Christine Tasson
In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such…
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…
Transport of finiteness structures and applications
Christine Tasson, Lionel Vaux
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction t…