期刊名称：MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE ISSN： 0960-1295 出版频率： Monthly 出版社： CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473   出版社网址： http://journals.cambridge.org/action/login 期刊网址： http://journals.cambridge.org/action/displayJournal?jid=MSC 影响因子： 0.637 主题范畴： COMPUTER SCIENCE, THEORY & METHODS 期刊简介(About the journal)    投稿须知(Instructions to Authors)    编辑部信息(Editorial Board)    About the journal Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results. The journal will also accept contributions in new interdisciplinary fields bridging computer science, quantum physics, mathematics and information theory. In particular, papers on quantum information processing and communication, as well as on the related issues in quantum language design will be considered. Instructions to Authors 0960-1295.pdf Editorial Board Editor-in-Chief Dr G. Longo Laboratoire d'Informatique Ecole Normale Superieure 45 rue d'Ulm F-75005 Paris France Giuseppe.Longo@ens.fr Associate Editors Professor P. L. Curien Programmes, Preuves et Systemes Université Denis Diderot, Case 7014 2 Place Jussieu F-75251 PARIS Cedex 05 France curien@pps.jussieu.fr P. J. Scott Dept of Mathematics University of Ottawa 585 King Edward Street Ottawa, Ontario K1N 6N5 Canada scpsg@uottawa.ca Editorial Board Professor Eugene Asarin LIAFA, France Eugene.Asarin@liafa.jussieu.fr Dr G. Berry Ecole des Mines, Valbonne, France Professor Cristian S. Calude The University of Auckland , New Zealand Robin Cockett University of Calgary, United States Professor T. Coquand Chalmers University of Technology, Göteborg, Sweden Rocco De Nicola Universita di Firenze, Italy Professor A. Edalat Imperial College, UK Professor Thomas Ehrhard Universite Denis Diderot, France Professor H. Ehrig Technische Universität Berlin, Germany Dr M. Escardo University of Birmingham, UK Yuxi Fu Shanghai Jiaotong University, Shanghai, China Professor J. Y. Girard CNRS Luminy, France Professor Masahito Hasegawa Kyoto University, Japan Professor F. Honsell Università di Udine, Italy Dr Martin Hyland University of Cambridge, UK M. Kanovitch Russian Humanities State University, Russia Professor S. Lack University of Western Sydney, Australia Professor Mike Mislove Tulane University , USA Professor E. Moggi Università di Genova, Italy Professor Ugo Montanari University of Pisa, Italy Professor T. Paul CNRS and Ecole Normale Sup., France Professor Benjamin Pierce University of Pennsylvania, USA Professor A. Pitts University of Cambridge, UK Professor G. D. Plotkin University of Edinburgh, UK Professor D. S. Scott Carnegie Mellon University, USA Professor R. A. G. Seely McGill University, Montreal, Canada Professor Peter Selinger Dalhousie University, Canada Alex Simpson University of Edinburgh, UK Colin Stirling The University of Edinburgh, United Kingdom Dr Glynn Winskel University of Cambridge, UK