72 citations · 610 across the 64 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…