research
∙
10/06/2021
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
In this paper, we introduce dynamic lifting to a quantum circuit-descrip...
share
research
∙
09/14/2021
Formal Methods for Quantum Programs: A Survey
While recent progress in quantum hardware open the door for significant ...
research
∙
07/24/2021
Reasoning about Recursive Quantum Programs
Most modern (classical) programming languages support recursion. Recursi...
research
∙
12/02/2018