nLab Peter Selinger

Selected writings

Selected writings

Early consideration of quantum programming languages (QPL):

via quantum lambda-calculus invoking linear types:

[Selinger (2016):] When the QPL workshop series was first founded, it was called “Quantum Programming Languages”. One year I wasn’t participating, and while I wasn’t looking they changed the name to “Quantum Physics and Logic” — same acronym!

Back in those days in the early 21st century we were actually trying to do programming languages for quantum computing [[Selinger & Valiron 2004]], but the sad thing is: In those days nobody really cared. [...][...]

Now it’s 15 years later and several of these parameters have changed: There has been a renewed interest, from government agencies and also from companies who are actually building quantum computers. [...][...].

So now people are working on quantum programming languages again.

then 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 finite-dimensional Hilbert spaces as a dagger-compact category:

Exposition of the general idea of quantum programming languages for classically controlled quantum computation with an eye towards the Quipper-language:

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 September 11, 2023 at 12:17:30. See the history of this page for a list of all contributions to it.