18 citations · 18 across the 1 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while t…