Quantum ProgramQuantum ProgramVerification Techniquescomputing through type-based methods.Ensuring reliability in quantumQuantum PhysicsType-Based Verification in Quantum ComputingA method to ensure reliable quantum program execution with lattice surgery.2025-06-16T05:42:57+00:00 ― 6 min read