Linear Dependent Type Theory for Quantum Programming Languages

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	28:1–28:44
Journal	Logical Methods in Computer Science
Volume	18
Issue number	3
DOIs	https://doi.org/10.46298/lmcs-18(3:28)2022
State	Published - 2022

Online availability

@article{83297413e8704dceac2f31349862c2fe,

title = "Linear Dependent Type Theory for Quantum Programming Languages",

author = "Kohei Kishida",

year = "2022",

doi = "10.46298/lmcs-18(3:28)2022",

language = "English (US)",

volume = "18",

pages = "28:1–28:44",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "3",

}