1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 1 cited
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…
cs.LO2006
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…