Linear Dependent Type Theory for Quantum Programming Languages

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Pages (from-to)28:1–28:44
JournalLogical Methods in Computer Science
Volume18
Issue number3
DOIs
StatePublished - 2022

Cite this