2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022
A programming language characterizing quantum polynomial time
Emmanuel Hainry, Romain Péchoux, Mário Silva
We introduce a first-order quantum programming language, named FOQ, whose terminating programs are reversible. We restrict FOQ to a strict and tractable subset, named PFOQ, of term…
quant-ph2021★ 2 cited
A coherence-witnessing game and applications to semi-device-independent quantum key distribution
Mário Silva, Ricardo Faleiro, Paulo Mateus +1
Semi-device-independent quantum key distribution aims to achieve a balance between the highest level of security, device independence, and experimental feasibility. Semi-quantum ke…