26 citations · 185 across the 21 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016★ 16 cited
Affine computation and affine automaton
Alejandro Díaz-Caro, Abuzer Yakaryılmaz
We introduce a quantum-like classical computational model, called affine computation, as a generalization of probabilistic computation. After giving the basics of affine computatio…
cs.LO2016★ 18 cited
Two linearities for quantum computing in the lambda calculus
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…