Quantum Computing

Voichick, F., Li, L., Rand, R., & Hicks, M. (2022). Qunity: A Unified Language for Quantum and Classical Computing (Type Checker). Proceedings of the ACM on Programming Languages. http://doi.org/10.5281/ZENODO.7382711 (Original work published January 2023)

Gharibian, S., Santha, M., Sikora, J., Sundaram, A., & Yirka, J. (2018). Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2). In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. http://doi.org/10.4230/LIPICS.MFCS.2018.58 (Original work published August 2018)