Mathematical Structures in Computer Science

09601295_21-3.qxd:MSC 4/13/11 5:55 PM Page 1

ISSN: 0960-1295 MSCS Mathematical Structures in Computer Science

MSCSJUNE 2011 VOLUME 21 NUMBER 3 MSCS Mathematical Structures in Computer Science CONTENTS Choquet–Kendall–Matheron theorems for non-Hausdorff spaces 511 A journal in the applications of categorical, algebraic jean goubault-larrecq and klaus keimel and geometric methods in Computer Science A system of interaction and structure V: the exponentials and splitting 563 alessio guglielmi and lutz straßburger The representational adequacy of HYBRID 585 r. l. crole JUNE 2011 VOLUME 21 NUMBER 3 Domains occur among spaces as strict algebras among lax 647 rory b. b. lucyshyn-wright UE2011 VOLUME JUNE 21 NUMBER 3

Cambridge Journals Online For further information about this journal please go to the journal website at: journals.cambridge.org/msc

Downloaded from https://www.cambridge.org/core. IP address: 170.106.40.40, on 02 Oct 2021 at 13:27:49, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S0960129511000338 09601295_21-3.qxd:MSC 4/13/11 5:55 PM Page 2

Instructions for contributors Editorial policy EDITOR- IN- CHIEF Mathematical Structures in Computer Science (MSCS) is a journal of theoretical computer science which focuses on the Giuseppe Longo application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge Laboratoire d’Informatique (CNRS) et DI, Ecole Normale Supérieure, 45, Rue D’Ulm, 75005 Paris (France), e-mail: [email protected] the gap between theoretical contributions and software design, publishing original papers or broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other associate editors areas of logic and mathematics form a basis for the work. The journal also welcomes applications to computing based on the use of Pierre-Louis Curien Philip J. Scott specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results. PPS – Case 7014, Université Paris 7, 2 pl. Jussieu, 75251 Paris, Cedex 05, France Department of Mathematics, University of Ottawa, 585 King Edward, Ottawa, In addition, it is interested in contributions in new interdisciplinary fields bridging computer science, quantum physics, e-mail:[email protected] Ontario K1N 9B4, Canada mathematics and information theory. In particular, papers on mathematical formalisms for quantum computation, quantum e-mail:[email protected] information processing and communication will be considered. editorial board The journal will also consider papers on computational modelling of epigenetic phenomena, protein-protein interactions, stochasticity Eugene Asarin Université de Paris VII, France Martin Hyland University of Cambridge, UK in molecular cascades. Mathematical approaches to System Biology will be welcomed, within the broad framework of post-genomic views of embryogenesis and evolution. Gerard Berry Ecole des Mines, Valbonne, France Max Kanovitch Russian Humanities State University, Russia The purpose of the journal is to increase the circulation of new very high standard results in fast growing areas which are currently influ- Cristian S. Calude The University of Auckland, New Zealand Stephen Lack University of Western Sydney, Australia encing various aspects of actual computing. Indeed, this journal is not meant to be only a ‘theory journal’ but, by choosing as a theme Robin Cockett University of Calgary, United States Mike Mislove Tulane University, USA the use of mathematical methods of Computer Science independently of their area of application, it aims to highlight Thierry Coquand Chalmers University of Technology, Göteborg, Sweden Eugenio Moggi Università di Genova, Italy connections among different topics and to encourage applications of theoretical contributions. Vincent Danos University of Edinburgh, UK Ugo Montanari University of Pisa, Italy In order to promote the use of mathematical methods in computer science, expository and introductory papers are welcome, Rocco De Nicola Universita di Firenze, Italy Catuscia Palamidessi Ecole Polytechnique, France provided that there is a clear connection to computational issues or they investigate mathematical structures whose relevance to Abbas Edalat Imperial College, UK Thierry Paul CNRS and Ecole Normale Sup., France computer science is well established. However, these contributions should be directed to the broad audience of computer scientists to which this journal is addressed. Equally, discussions of a methodological or philosophical nature concerning the foundation of Thomas Ehrhard Université Denis Diderot, France Benjamin Pierce University of Pennsylvania, USA Computer Science are of interest for the journal. Hartmut Ehrig Technische Universität Berlin, Germany Andy Pitts University of Cambridge, UK Submission of manuscripts Martin Escardo University of Birmingham, UK Gordon D. Plotkin University of Edinburgh, UK Papers may be submitted to any member of the Editorial Board. A file .pdf should be sent accompanied by the author’s address, Yuxi Fu Shanghai Jiaotong University, China Dana S. Scott Carnegie Mellon University, USA telephone and fax number, and e-mail address. Simon Gay University of Glasgow, UK Robert A. G. Seely McGill University, Montreal, Canada A copy of the paper together with the name of the editor chosen should also be sent to the Editor-in-Chief who will record the Jean-Yves Girard CNRS, Luminy, France Alex Simpson University of Edinburgh, UK submission. Masahito Hasegawa Kyoto University, Japan Colin Stirling University of Edinburgh, UK Submission of a paper is taken to imply that it has not been previously published and that it is not being considered for publication elsewhere. Authors of articles published in the journal assign copyright to Cambridge University Press (with certain rights Furio Honsell Università di Udine, Italy Glynn Winskel University of Cambridge, UK reserved) and you will receive a copyright assignment form for signature on acceptance of your paper. The publisher encourages submission of papers written in LaTeX using the MSCS LaTeX style file. The LaTeX 2.09 style file mscs.sty © CAMBRIDGE UNIVERSITY PRESS 2011 together with a guide to its use mscsguide.tex, or the corresponding LaTeX 2e file mscs.cls are available via anonymous ftp from the SUBSCRIPTIONS. MSCS-Mathematical Structures in Computer Science (ISSN: 0960-1295) is published bimonthly in February, Cambridge University Press site at ftp.cup.cam.ac.uk in the directories /pub/texarchive/journals/latex/mscs-sty or /pub/texarchive/jour- April, June, August, October and December by Cambridge University Press, The Edinburgh Building, Shaftesbury Road, nals/latex/mscs-cls. In the directory /pub/texarchive/journals/latex/mscs-sty you will find a concatenated file called mscs.all. This file Cambridge CB2 8RU, UK/Cambridge University Press, 40 West 20th Street, New York, N.Y. 10011–4211. The subscription price contains readme.txt, mscs.sty and mscguid.tex. If you Tex mscguid.tex you will get a full set of instructions for using the style file. In (excluding VAT) of Volume 21, 2011, which includes print and electronic access, is £500 net (UK), (USA, Canada and Mexico case of difficulties obtaining these files, there is a help-line available via e-mail; please contact [email protected]. While use US $895). The electronic-only price available to institutional subscribers is £455 (USA, Canada and Mexico US $790). Single of the MSCS LaTeX style file is preferred, ordinary LaTeX or plain TeX files can also be accepted. parts cost £88 net (USA, Canada and Mexico US $152). Prices include delivery by air. Six parts form a volume. EU subscribers On final acceptance of their paper, authors should make accessible to the Editor-in-Chief (downloadable) the LaTeX source (outside the UK) who are not registered for VAT should add VAT at their country’s rate. VAT registered subscribers should code including all figures (line figures only), a file .pdf and author-defined macro and style files, together with a hard copy provide their VAT registration number. Orders, which must be accompanied by payment, may be sent to any bookseller, subscrip- produced using the same file. Discs should be in Apple Mac or PC format and will not be returned. The publisher reserves the tion agent or to the publisher: Cambridge University Press, The Edinburgh Building, Shaftesbury Road, Cambridge CB2 8RU, or in right to typeset any article by conventional means if the author’s TeX code presents problems in production. the USA, Canada and Mexico to Cambridge University Press, Journals Fulfillment Department, 100 Brook Hill Drive, West Layout of manuscripts Nyack, New York 10994–2133. Japanese prices for institutions are available from Kinokuniya Company Ltd, P.O. Box 55, Chitose, Papers should be typewritten in double spacing throughout, on one side of the paper. Please avoid footnotes if possible. Papers should Tokyo 156, Japan. Periodicals postage is paid at New York, NY and at additional mailing offices. begin with an abstract of not more than 300 words and should end with a brief concluding section. POSTMASTER: send address changes in USA, Canada and Mexico to MSCS-Mathematical Structures in Computer Science, Illustrations Cambridge University Press, 100 Brook Hill Drive, West Nyack, New York 10994–2133. Figures should be drawn in indian ink on good quality white paper or produced by computer to comparable quality. Wherever possible they will be reproduced with the author’s original lettering. Originals of figures should not be sent until the paper has Claims for missing issues should be made immediately on receipt of the subsequent issue. been accepted. A list of captions should be attached separately. INTERNET ACCESS. This journal is included in the Cambridge Journals Online service which can be found at References http://journals.cambridge.org. For further information on other Press titles access http://www.cambridge.org. The Harvard system of references should be used. In the text, a reference should be quoted by the author’s name and date in COPYING. This journal is registered with the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923, USA. parentheses, in date order, e.g. (Smith 1983; Jones and Jones 1985; Hunter 1986a,b). Where there are three or more authors, the first Organisations in the USA who are also registered with the C.C.C. may therefore copy material (beyond the limits permitted by sections name followed by et al. should be used. A full list of references should be given at the end of the main text, listing, in 107 and 108 of the US copyright law) subject to payment to C.C.C. of the per-copy fee of $16.00.This consent does not extend to multiple alphabetical order, surname of author and initials; year of publication (in parentheses); article title; journal name abbreviated in accor- copying for promotional or commercial purposes. Code 0960-1295/2011 $16.00. dance with the World List of Scientific Periodicals (4th edn); volume number; inclusive page numbers. For books and ISI Tear Sheet Service, 3501 Market Street, Philadelphia, Pennsylvania 19104, USA, is authorised to supply single copies of separate conference proceedings, place of publication and publisher (and Editor(s) if appropriate) should be included. articles for private use only. Proof Reading Organisations authorised by the Copyright Licensing Agency may also copy material subject to the usual conditions. Typographical or factual errors only may be changed at proof stage. The publisher reserves the right to charge authors for For all other use, permission should be sought from Cambridge or the American branch of Cambridge University Press. correction of non-typographical errors. No page charge is made. Offprints This journal issue has been printed on FSC-certified paper and cover board. FSC is an independent, non-governmental, not-for-profit Extra offprints may be purchased from the publisher if ordered at proof stage. organization established to promote the responsible management of the world’s forests. Please see www.fsc.org for information. © Cambridge University Press 2011 published by the press syndicate of the university of cambridge Printed in the United Kingdom at the University Press, Cambridge. The Pitt Building, Trumpington Street, Cambridge CB2 1RP, United Kingdom cambridge university press The Edinburgh Building, Cambridge CB2 8RU, United Kingdom 32 Avenue of the Americas, New York, NY 10013–2473, USA 477 Williamstown Road, Port Melbourne, VIC 3207, Australia C/Orense, 4, planta 13, 28020 Madrid, Spain Downloaded from https://www.cambridge.org/core. IP address: 170.106.40.40, on 02 Oct 2021 at 13:27:49, subject to the Cambridge Core terms of use, available at Lower Ground Floor, Nautica Building, The Water Club, Beach Road, Granger Bay, 8005 Cape Town, South Africa https://www.cambridge.org/core/terms. https://doi.org/10.1017/S0960129511000338