# nLab Peter Selinger

Selected writings

## Selected writings

Introducing quantum programming:

via QPL:

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 $A \simeq A^\ast$, talk at QPL 2012 (pdf)

On string diagram-calculus for monoidal categories:

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.