Typed lambda calculi and applications
Subtitle: 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
By: Martin Hofmann (ed.).
Contributors: Hofmann, Martin, 1965-
Series: Lecture notes in computer science -- 2701.
Publisher: Springer
Published: 2003
Place of publication: Berlin; New York
Language: eng
Number of pages: 315
Subjects: Lambda calculus -- Congresses
Genres: Congresses.
Other titles: TLCA 2003.
Description: This volume represents the proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain on 10–12 June 2003 in conjunction with CADE and RTA. It contains 21 c- tributions which were selected from 40 submissions. Three invited talks by D. McAllester, G. Gonthier, and R. Loader are not included in this volume. The editor wishes to thank the members of the Program Committee and the referees for their help in putting together a very attractive program. April 2003 Martin Hofmann Program Committee A. Asperti J. Palsberg (University of Bologna) (Purdue University) T. Coquand H. Schwichtenberg (Chalmers University, G¨ oteborg) (University of Munich) V. Danos N. Shankar (University Paris VII) (SRI International, Menlo Park) M. Hofmann P. Urzyczyn (Chair, University of Munich) (Warsaw University) P. -A. Mellies (CNRS, Paris) Steering Committee S. Abramsky H. Barendregt (Chair, Oxford University) (University of Nijmegen) M. Dezani-Ciancaglini R. Hindley (University of Torino) (University of Swansea) VI Preface Referees A. Abel T. Altenkirch A. Asperti P. Baillot G. Barthe M. Benke N. Benton U. Berger J. Chrzaszcz A. Compagnoni T. Coquand R. di Cosmo P. -L. Curien V. Danos R. Dyckho? T. Ehrhard C. Faggian C. Fuehrmann H. Geuvers J. Goubault P. de Groote R. Hasegawa H. Herbelin M. Hofmann G. Hutton B. Jay F. Joachimski J. B. Joinet A. J. Kfoury U. Dal Lago F. Lamarche H. Leiss T. Loew J. Longley P. Manoury S. Martini R. Matthes M. Mauny J.
Notes: Includes bibliographical references and index.