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