nLab Benoît Valiron

Selected writings

Selected writings

In quantum lambda-calculus for quantum computation:

Introducing the functional quantum programming language Quipper:

On dynamic lifting (of quantum measurement-results) in quantum programming/quantum computing:

category: people

Last revised on November 26, 2022 at 06:35:52. See the history of this page for a list of all contributions to it.