Table of contents

  1. Front Matter
  2. Gianna Bellè, Eugenio Moggi
    Pages 11-29
  3. Viviana Bono, Michele Bugliesi
    Pages 46-62
  4. Michael Brandt, Fritz Henglein
    Pages 63-81
  5. Torben Braüner
    Pages 82-98
  6. Antonio Bucciarelli
    Pages 99-111
  7. Judicaël Courant
    Pages 112-128
  8. Ferruccio Damiani, Paola Giannini
    Pages 129-146
  9. Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann
    Pages 147-163
  10. S. Guerrini, S. Martini, A. Masini
    Pages 181-195
  11. Toshihiko Kurata
    Pages 231-247
  12. Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
    Pages 267-283
  13. Femke van Raamsdonk
    Pages 284-299
  14. Takeuti, Izumi
    Pages 354-372
  15. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.
The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.


Lambda calculi Lambda-Kalküle Monoid Programmiersprachen Typensysteme algorithm algorithms commutative property logic programming logics proof semantic techniques theorem proving type systems type theory

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62688-6
  • Online ISBN 978-3-540-68438-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site