Proceedings of the 2nd International Workshop on Quantum Programming Languages

July 12-13, 2004, Turku, Finland

Peter Selinger (editor)

TUCS General Publication No 33, Turku Centre for Computer Science

Front matter

  • Preface. [pdf]
. . . . . . . . . i
  • Table of Contents. [pdf]
. . . . . . . . iii

Invited lecture

  • Richard Jozsa
    On the structure of quantum algorithms and the role of classical mathematics. [pdf]
. . . . . . . .  1

Contributed papers

  • Samson Abramsky, Ross Duncan
    A categorical quantum logic. [pdf]
. . . . . . 3-20

  • Pablo Arrighi, Gilles Dowek
    Operational semantics for formal tensorial calculus. [pdf]
. . . . . 21-38

  • Alexandru Baltag, Sonja Smets
    The logic of quantum programs. [pdf]
. . . . . 39-56

  • Bob Coecke
    Quantum information-flow, concretely, abstractly. [pdf]
. . . . . 57-73

  • Ellie D'Hondt, Prakash Panangaden
    Quantum weakest preconditions. [pdf]
. . . . . 75-90

  • Simon J. Gay, Rajagopal Nagarajan
    Communicating quantum processes. [pdf]
. . . . 91-107

  • Marie Lalire, Philippe Jorrand
    A process algebraic approach to concurrent and distributed quantum computation: operational semantics. [pdf]
. . . 109-126

  • Peter Selinger
    Towards a semantics for higher-order quantum computation. [pdf]
. . . 127-143

  • K. Svore, A. Cross, A. Aho, I. Chuang, I. Markov
    Toward a software architecture for quantum computing design tools. [pdf]
. . . 145-162

  • Benoît Valiron
    Quantum typing. [pdf]
. . . 163-178

  • Paolo Zuliani
    Non-deterministic quantum programming. [pdf]
. . . 179-195

*
Back to the QPL 2004 home page.