6 citations · 7 across the 4 of their papers we have counts for
4 papers
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…
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…
Towards A Theory Of Quantum Computability
Stefano Guerrini, Simone Martini, Andrea Masini
We propose a definition of quantum computable functions as mappings between superpositions of natural numbers to probability distributions of natural numbers. Each function is obta…
Continuations, proofs and tests
Stefano Guerrini, Andrea Masini
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuatio…