Frank Fu, Kohei Kishida, and Peter Selinger. Talk given at the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) on July 8, 2020.
Download
0 formats
No download links available.
Linear Dependent Type Theory for Quantum Programming Languages | NatokHD
