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 categorical semantics for Quipper:

On quantum programming via dependent linear type theory:

On the Agda proof assistant:

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

category: people

Last revised on March 9, 2023 at 12:14:51. See the history of this page for a list of all contributions to it.