1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
A Graded Modal Type Theory for Pulse Schedules
Robin Adams, Jean-Philippe Bernardy, Lorenzo Perticone +1
The operations to be performed by a quantum computer are almost invariably given in the form of a quantum circuit. In the final stage of compilation, a quantum circuit must be tran…
cs.LO2018★ 1 cited
Formalizing Constructive Quantifier Elimination in Agda
Jeremy Pope
In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verifie…