nLab
Peter Selinger

Selected writings

Selected writings

Introducing quantum programming:

via QPL:

via Quipper:

On string diagram-calculus for monoidal categories:

On quantum programming via dependent linear type theory:

category: people

Last revised on November 13, 2021 at 09:43:23. See the history of this page for a list of all contributions to it.