nLab Valentin Perrelle

Redirected from "differential field".
Selected writings

Selected writings

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

On formal quantum circuit software verification via QBricks:

category: people

Last revised on May 24, 2025 at 21:46:58. See the history of this page for a list of all contributions to it.