Published On Jul 29, 2020
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.
show more
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.
