Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

  • Luke Ong
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6690)

Table of contents

  1. Front Matter
  2. Abstracts of Invited Lectures

    1. Alexandre Miquel
      Pages 1-2
    2. Ashish Tiwari
      Pages 6-8
    3. Stephanie Weirich
      Pages 9-9
  3. Contributed Papers

    1. Zena M. Ariola, Hugo Herbelin, Alexis Saurin
      Pages 27-44
    2. Peter Arndt, Krzysztof Kapulkin
      Pages 45-60
    3. Aloïs Brunel, Olivier Hermant, Clément Houtmann
      Pages 76-90
    4. Antoine Madet, Roberto M. Amadio
      Pages 138-152
    5. Giulio Manzonetto, Michele Pagani
      Pages 153-168
    6. Jakob Rehof, Paweł Urzyczyn
      Pages 169-183
    7. Luca Roversi
      Pages 184-197
    8. Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski
      Pages 198-212
    9. Steffen van Bakel, Franco Barbanera, Ugo de’Liguoro
      Pages 213-228

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

Keywords

classical logic deduction systems dependent types duality of computation proof nets

Editors and affiliations

  • Luke Ong
    • 1
  1. 1.Computing LaboratoryOxford UniversityOxfordUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21691-6
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21690-9
  • Online ISBN 978-3-642-21691-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book