The following pages link to Forest (Q39363):
Displaying 6 items.
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Quantum simulation of chiral phase transitions (Q2678141) (← links)
- Entanglement types for two-qubit states with real amplitudes (Q2687183) (← links)
- Zeta-regularized vacuum expectation values (Q5235526) (← links)
- Sized Types for Low-Level Quantum Metaprogramming (Q5237215) (← links)
