Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

  • Samson Abramsky
Conference proceedings TLCA 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2044)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Lectures

  3. Contributed Papers

    1. Thorsten Altenkirch, Thierry Coquand
      Pages 22-28
    2. Martin Berger, Kohei Honda, Nobuko Yoshida
      Pages 29-45
    3. Luca Cardelli, Andrew D. Gordon
      Pages 46-60
    4. Juliusz Chroboczek
      Pages 61-75
    5. Paolo Coppola, Simone Martini
      Pages 76-90
    6. Norman Danner
      Pages 91-105
    7. Pietro Di Gianantonio
      Pages 106-120
    8. Dan Doughertyy, Pierre Lescanne
      Pages 121-135
    9. Teodor Knapik, Damian Niwiński, Paweł Urzyczyn
      Pages 253-267
    10. Andrzej S. Murawski, C. -H. Luke Ong
      Pages 360-375
    11. Vincent Padovani
      Pages 376-384
    12. Aleksy Schubert
      Pages 400-414
  4. Back Matter
    Pages 431-431

About these proceedings


This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.


categorical methods computational logic deduction lambda calculi lambda calculus logic logical relations program logics program semantics programming theory type systems typed lambda calculi

Editors and affiliations

  • Samson Abramsky
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41960-0
  • Online ISBN 978-3-540-45413-7
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software