Typed Lambda Calculi and Applications

8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

  • Editors
  • Simona Ronchi Della Rocca
Conference proceedings TLCA 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4583)

Table of contents

  1. Front Matter
  2. William Blum, C. -H. Luke Ong
    Pages 39-53
  3. Sylvain Boulmé
    Pages 54-69
  4. Ana Bove, Venanzio Capretta
    Pages 70-83
  5. Denis Cousineau, Gilles Dowek
    Pages 102-117
  6. José Espírito Santo
    Pages 118-132
  7. José Espírito Santo, Ralph Matthes, Luís Pinto
    Pages 133-147
  8. Claudia Faggian, Mauro Piccolo
    Pages 148-162
  9. Benedetto Intrigila, Richard Statman
    Pages 178-193
  10. Ying Jiang, Guo-Qiang Zhang
    Pages 194-206
  11. Patricia Johann, Neil Ghani
    Pages 207-222
  12. Oleg Kiselyov, Chung-chieh Shan
    Pages 223-239
  13. Sam Lindley
    Pages 255-271

About these proceedings

Keywords

categorical methods deduction higher-order logic lambda calculus logic logical relations programming programming language programming theory proof proof theory reduction rewriting semantics sequent calculus

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73228-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73227-3
  • Online ISBN 978-3-540-73228-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book