© 2003

Typed Lambda Calculi and Applications

6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

  • Martin Hofmann
Conference proceedings TLCA 2003

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
    Pages 16-30
  3. Roberto M. Amadio
    Pages 31-45
  4. Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani
    Pages 75-89
  5. Paolo Coppola, Simona Ronchi della Rocca
    Pages 90-104
  6. Thierry Coquand, Randy Pollack, Makoto Takeyama
    Pages 105-119
  7. Stefan Kahrs
    Pages 167-179
  8. Yoshihiko Kakutani, Masahito Hasegawa
    Pages 180-194
  9. Ranko Lazić, David Nowak
    Pages 226-240
  10. François Maurel
    Pages 241-255

About these proceedings


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

Editors and affiliations

  • Martin Hofmann
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchenGermany

Bibliographic information