Showing cs.LOShow all
2 papers · 1 filter
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
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…