r/QBTS•1 yr. agoI3e5Does the Curry-Howard correspondence have a quantum-specific type system?quantumcomputing.stackexchange.com/q/1519quantumcomputing.stackexchange.comPosted Aug 13, 2025, 11:44 PM UTC10ShareSave