Advertisement

Typed Lambda Calculi and Applications

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

  • Editors
  • Simona Ronchi Della Rocca

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
  14. Dimitris Mostrous, Nobuko Yoshida
    Pages 321-335
  15. Olha Shkaravska, Ron van Kesteren, Marko van Eekelen
    Pages 351-365
  16. Lionel Vaux
    Pages 381-395
  17. Back Matter

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
  • Buy this book on publisher's site