Editor-in-Chief

Giuseppe Longo
Laboratoire d'Informatique
Ecole Normale Superieure
45 rue d'Ulm
F-75005 Paris, France
Giuseppe.Longo@ens.fr

Associate Editors

Pierre-Louis Curien
Programmes, Preuves et Systemes
Université Denis Diderot, Case 7014
2 Place Jussieu
F-75251 PARIS
Cedex 05, France
curien@pps.jussieu.fr

Philip J. Scott
Dept of Mathematics
University of Ottawa
585 King Edward Street
Ottawa, Ontario
K1N 6N5, Canada
scpsg@uottawa.ca

Editorial Board

Richard Blute
University of Ottawa, Canada

Cristian S. Calude
University of Auckland, New Zealand

Robin Cockett
University of Calgary, Canada

Thierry Coquand
Chalmers University of Technology, Sweden

Vincent Danos
University of Edinburgh, UK

Thomas Ehrhard
Universite Denis Diderot, France

Hartmut Ehrig
Technische Universität Berlin, Germany

Martin Escardo
University of Birmingham, UK

Yuxi Fu
Shanghai Jiaotong University, China

Nicola Gambino
University of Leeds, UK

Simon Gay
University of Glasgow, UK

Alessandro Giuliani
Istituto Superiore Sanitae Unversita Roma I, Italy

Robert Harper
Carnegie Mellon University, USA

Masahito Hasegawa
Kyoto University, Japan

Martin Hyland
University of Cambridge, UK

Max Kanovitch
Russian Humanities State University, Russia

Stephen Lack
University of Western Sydney, Australia

Mike Mislove
Tulane University, USA

Eugenio Moggi
Università di Genova, Italy

Catuscia Palamidessi
Ecole Polytechnique, France

Prakash Panangaden
McGill University, Canada

Thierry Paul
CNRS and Ecole Normale Sup., France

Andy Pitts
University of Cambridge, UK

Barry Sanders
University of Calgary, Canada

Robert A. G. Seely
McGill University, Montreal, Canada

Alex Simpson
University of Edinburgh, UK

Colin Stirling
University of Edinburgh, UK

Hebert Wiklicky
Imperial College, UK

Glynn Winskel
University of Cambridge, UK