Best Paper Award ICTAC 2021 to the paper "A New Connective in Natura Deduction, and Its Application to Quantum Computing" by @JanusDC and Gilles Dowek. More: https://t.co/POtsYiIVSa https://t.co/6Bw4N4GfXJ
Theoretical Aspects of Computing – ICTAC 2021
Springer International Publishing