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 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.