34 citations · 144 across the 66 of their papers we have counts for
1 paper · 1 filter
Pablo Arrighi, Gilles Dowek
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by constructio…