文档介绍：Texts in puter Science
An EATCS Series
Editors: W. Brauer G. Rozenberg A. Salomaa
On behalf of the European Association
for puter Science (EATCS)
Advisory Board: G. Ausiello M. Broy . Calude
A. Condon D. Harel J. Hartmanis T. Henzinger
J. Hromkovic° N. Jones T. Leighton M. Nivat
C. Papadimitriou D. Scott
W. Kluge
Abstract
Computing
Machines
A Lambda Calculus Perspective
With 89 Figures
123
Authors
Prof. Dr. Werner Kluge
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
Olshausenstrasse 40b, 24098 Kiel, Germany
******@-
Series Editors
Prof. Dr. Wilfried Brauer Prof. Dr. Arto Salomaa
Institut für Informatik der TUM Turku Centre puter Science
Boltzmannstrasse 3 Lemminkäisenkatu 14 A
85748 Garching 20520 Turku
Germany Finland
******@- ******@
Prof. Dr. Grzegorz Rozenberg
Leiden Institute of puter Science
University of Leiden
Niels Bohrweg 1
2333 CA Leiden
herlands
******@
Library of Congress Control Number: 2004117887
puting Classification (1998): , ,
ISBN 3-540-21146-2 Springer 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, reuse of illustrations, recitation, broadcasting, reproduction on microfilm
or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under
the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must
always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law.
Springer is a part of Springer Science+Business Media
© Springer-Verlag Berlin Heidelberg 2005
Printed in Germany
The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in t