Forest

swMATH27648MaRDI QIDQ39363FDOQ39363

Author name not available (Why is that?)

Source code repository: https://github.com/rigetti/pyquil

Cited In (6)

• A proof system for disjoint parallel quantum programs
• Formalization of metatheory of the Quipper quantum programming language in a linear logic
• Sized Types for Low-Level Quantum Metaprogramming
• Quantum simulation of chiral phase transitions
• Entanglement types for two-qubit states with real amplitudes
• Zeta-regularized vacuum expectation values

This page was built for software: Forest