research
∙
09/06/2021
Quantum Hoare Type Theory: Extended Abstract
As quantum computers become real, it is high time we come up with effect...
share
research
∙
01/22/2021
