Applying quantitative semantics to higher-order quantum computing.

Michele Pagani Peter Selinger Benoît Valiron

Published in: POPL (2014)

Keyphrases

quantum computing
higher order
quantum inspired
quantum evolutionary algorithm
pairwise
quantum mechanics
evolutionary algorithm
mobile computing
database
mobile devices
intelligent systems
user experience
logic synthesis