Typed Lambda Calculi And Applications: Third International Conference On Typed Lambda Calculi And Applications Tlca '97 Nancy, France, April 2–4, 1997 Proceedings

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen Advisory Board: W. Brauer D. Gries J. Stoer 1210 Philippe de Groote J. RogerHindley (Eds.) Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2-4, 1997 Proceedings Springer Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Philippe de Groote INRIA-Lorraine & CRIN-CNRS 615 rue du Jardin Botanique, F-54602Villers-les-Nancy Cedex, France E-mail: Philippe.deGroote @loria.fr J. Roger Hindley University of Wales Swansea, Mathematics Department Swansea SA2 8PP, UK E-mail: j.r.hindley @swansea.ac.uk Cataloging-in-Publication data applied for Die Deutsche Bibliothek - C I P - E i n h e i t s a u f n a h m e International Conference on Typed Lambda Calculi and Applications : Typed lambda calculi and applications : proceedings / Third International Conference on Typed L a m b d a Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997. Philippe de G r o o t e ; J. Roger H i n d l e y (ed.). - Berlin ; Heidelberg ; N e w Y o r k ; Barcelona ; Budapest ; H o n g Kong ; L o n d o n ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1997 (Lecture notes in computer science ; Vol. 1210) ISBN 3-540-62688-3 NE: Groote, Philippe de [Hrsg.]; GT CR Subject Classification (1991): F.4.1, F.3.0, D.I.1 ISSN 0302-9743 ISBN 3-540-62688-3 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, specifieally 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 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-Verlag. Violations are liable for prosecution under the German Copyright Law. 9 Springer-Verlag Berlin Heidelberg 1997 Printed in Germany Typesetting: Camera-ready by author SPIN 10549470 06/3142 - 5 4 3 2 1 0 Printed on acid-free paper Preface This volume is the proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA'97, held in Nancy, France, from April 2 to 4, 1997. It contains 24 papers. The number submitted was 54, their overall quality was high, and selection was difficult. The Programme Committee is very grateful to everyone who submitted a paper. The Committee is also very grateful to Per Martin-Lb'f, University of Stockholm, for acceptifi~':~fir invitation to talk at the conference, on The Problem of Predicativity. (This talk is not included in this volume.) The editors wish to thank the members of the Programme Committee and the Organizing Committee, listed overleaf~ for their hard work and support. We also express our gratitude to all the referees listed overleaf, and also those who wish not to be listed, for their essential assistance and time generously given. Swansea, January 1997 Roger Hindle