文档介绍：Lecture Notes puter Science 2297
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
3
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Roland Backhouse Roy Crole
Jeremy Gibbons (Eds.)
Algebraic and
Coalgebraic Methods
in the Mathematics of
Program Construction
International Summer School and Workshop
Oxford, UK, April 10-14, 2000
Revised Lectures
13
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, herlands
Volume Editors
Roland Backhouse
University of Nottingham, School puter Science and IT
Jubilee Campus, Wollaton Road, Nottingham NG8 1BB, United Kingdom
E-mail: ******@
Roy Crole
University of Leicester, Dept. of Mathematics puter Science
University Road, Leicester LE1 7RH, United Kingdom
E-mail: roy.******@
Jeremy Gibbons
Oxford puting Laboratory, Wolfson Building
Parks Road, Oxford OX1 3QD, United Kingdom
E-mail:
Cataloging-in-Publication Data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Algebraic and coalgebraic methods in the mathematics of program construction ;
international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ;
revised lectures / Roland Backhouse ... (ed.). - Berlin ; Heidelberg ; New York ;
Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002
(Lecture notes puter science ; Vol. 2297)
ISBN 3-540-43613-8
CR Subject Classification (1998): , , ,
ISSN 0302-9743
ISBN 3-540-43613-8 Springer-Verlag Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitte