6 citations · 7 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 6 cited
Quantum Turing Machines Computations and Measurements
Stefano Guerrini, Simone Martini, Andrea Masini
Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not being fully investigated. In particular, there are feat…
cs.LO2017
Linear -reduction
Stefano Guerrini
Linear head reduction is a key tool for the analysis of reduction machines for lambda-calculus and for game semantics. Its definition requires a notion of redex at a distance named…