A Survey of Quantum Type Theory: From Linearity to Formal Verification

Nguyen, Van Han (2025) A Survey of Quantum Type Theory: From Linearity to Formal Verification. EAI Endorsed Transactions on Contex-aware Systems and Applications.

[thumbnail of 79207.pdf] PDF
79207.pdf
Download (852kB)

Abstract

Quantum Type Theory (QTT) provides a formal system that combines ideas from quantum mechanics, type theory, and logic to support reliable quantum programming. Since quantum information cannot be copied or deleted like classical data, QTT uses linear types to ensure that quantum operations follow the

Item Type: Article
Date Deposited: 04 Mar 2026 20:14
Last Modified: 10 Apr 2026 18:18
URI: http://eprints.eai.eu/id/eprint/59863

Actions (login required)

View Item
View Item