nLab Peter Selinger

Selected writings

Selected writings

Introducing quantum programming:

via QPL:

via quantum lambda-calculus:

via Quipper:

On self-dual objects in star-autonomous categories and their relation to inner products and to dagger-structure:

  • Peter Selinger, Autonomous categories in which AA *A \simeq A^\ast, talk at QPL 2012 (pdf)

On string diagram-calculus for monoidal categories:

On quantum programming via dependent linear type theory:

On dependent linear type theory and categorical semantics for versions of “Quipper”:

category: people

Last revised on November 19, 2022 at 12:16:25. See the history of this page for a list of all contributions to it.