Rewriting and Typed Lambda Calculi

Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

  • Gilles Dowek
Conference proceedings RTA 2014, TLCA 2014

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

Table of contents

  1. Front Matter
  2. Kohei Honda, Nobuko Yoshida, Martin Berger
    Pages 1-20
  3. Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau
    Pages 31-45
  4. Takahito Aoto, Yoshihito Toyama, Kazumasa Uchida
    Pages 46-60
  5. Kyungmin Bae, José Meseguer
    Pages 61-76
  6. Clément Aubert, Marc Bagnol
    Pages 77-92
  7. Aleš Bizjak, Lars Birkedal, Marino Miculan
    Pages 108-123
  8. Guillaume Burel
    Pages 124-138
  9. Carles Creus, Guillem Godoy
    Pages 139-148
  10. Carles Creus, Guillem Godoy
    Pages 149-163
  11. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
    Pages 194-207
  12. Martín Hötzel Escardó, Alex Simpson
    Pages 208-223
  13. Peng Fu, Aaron Stump
    Pages 224-239
  14. Carsten Fuhs, Cynthia Kop
    Pages 240-256
  15. Martin Hofmann, Georg Moser
    Pages 272-286
  16. Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud
    Pages 287-302
  17. Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
    Pages 303-318
  18. Roberto Maieli
    Pages 319-333
  19. Paul-André Melliès
    Pages 334-348
  20. Koji Nakazawa, Tomoharu Nagai
    Pages 349-363
  21. Cody Roux, Floris van Doorn
    Pages 364-378
  22. Rick Statman
    Pages 410-424
  23. Andrei Ştefănescu, Ştefan Ciobâcă, Radu Mereuta, Brandon M. Moore, Traian Florin Şerbănută, Grigore Roşu
    Pages 425-440
  24. Thomas Sternagel, Aart Middeldorp
    Pages 456-465
  25. Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
    Pages 466-475
  26. Hans Zantema, Barbara König, H. J. Sander Bruggink
    Pages 476-490
  27. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.


automata complexity analysis constraint and logic programming constructive mathematics lambda-mu calculus logic model checking pattern matching proof theory type theory

Editors and affiliations

  • Gilles Dowek
    • 1
  1. 1.InriaParis Cedex 13France

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-08917-1
  • Online ISBN 978-3-319-08918-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Energy, Utilities & Environment