Return to Issue Details
A Survey of Quantum Type Theory: From Linearity to Formal Verification
Download
Download PDF