RTA: International Conference on Rewriting Techniques and Applications

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

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-08918-8
  • 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
  • About this book