34 citations · 144 across the 66 of their papers we have counts for
1 paper · 2 filters
Pablo Arrighi, Gilles Dowek
We provide a computational definition of the notions of vector space and bilinear functions. We use this result to introduce a minimal language combining higher-order computation a…