The following pages link to (Q3384929):
Displaying 9 items.
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- A modeling and verification framework for optical quantum circuits (Q2418045) (← links)
- Certified quantum computation in Isabelle/HOL (Q2666954) (← links)
- (Q3385643) (← links)
- (Q5018491) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL (Q6190081) (← links)
- Quantum Hoare type theory: extended abstract (Q6645590) (← links)
