Advertisement

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
  11. José Espírito Santo, Luís Pinto
    Pages 286-300
  12. Back Matter
    Pages 317-317

About these proceedings

Keywords

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

  • DOI https://doi.org/10.1007/3-540-44904-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40332-6
  • Online ISBN 978-3-540-44904-1
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site