nLab Mingsheng Ying

Selected writings

On software verification for quantum programming languages:

and introducing the quantum programming language CoqQ:

Understanding the linear logic-sector of bunched logic as a kind of quantum logic:

category: people

Last revised on June 1, 2023 at 12:55:48. See the history of this page for a list of all contributions to it.