24 citations · 52 across the 9 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
Several types of types in programming languages
Simone Martini
Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties.…
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…