175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Theoretical Computer Science and General Issues

Typed Lambda Calculi and Applications

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Editors: Curien, Pierre-Louis (Ed.)

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-642-02273-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-642-02272-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming.

The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

Table of contents (29 chapters)

  • Mathematical Synthesis of Equational Deduction Systems

    Fiore, Marcelo (et al.)

    Pages 1-2

  • A Pronominal Approach to Binding and Computation

    Harper, Robert (et al.)

    Pages 3-4

  • A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance

    Abel, Andreas (et al.)

    Pages 5-19

  • Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1

    Aschieri, Federico (et al.)

    Pages 20-34

  • Syntax for Free: Representing Syntax with Binding Using Parametricity

    Atkey, Robert

    Pages 35-49

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-642-02273-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-642-02272-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Typed Lambda Calculi and Applications
Book Subtitle
9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
Editors
  • Pierre-Louis Curien
Series Title
Theoretical Computer Science and General Issues
Series Volume
5608
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-02273-9
DOI
10.1007/978-3-642-02273-9
Softcover ISBN
978-3-642-02272-2
Edition Number
1
Number of Pages
XIII, 417
Topics