The following pages link to (Q3385643):
Displaying 4 items.
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits (Q5237211) (← links)
- Type-safe quantum programming in Idris (Q6535254) (← links)
- Gottesman types for quantum programs (Q6645589) (← links)