nLab Mingsheng Ying

Selected writings

Selected writings

On software verification for quantum programming languages:

and introducing the quantum programming language CoqQ:

category: people

Last revised on November 12, 2022 at 09:54:44. See the history of this page for a list of all contributions to it.