Typed Lambda Calculi and Applications

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

  • Samson Abramsky

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

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 https://doi.org/10.1007/3-540-45413-6
  • 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
  • About this book
Industry Sectors
Oil, Gas & Geosciences