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 71,39 €
price for Spain (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 90,47 €
price for Spain (gross)
  • ISBN 978-3-642-02272-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • A Pronominal Approach to Binding and Computation

    Harper, Robert (et al.)

    Pages 3-4

    Preview Buy Chapter 30,19 €
  • A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance

    Abel, Andreas (et al.)

    Pages 5-19

    Preview Buy Chapter 30,19 €
  • Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1

    Aschieri, Federico (et al.)

    Pages 20-34

    Preview Buy Chapter 30,19 €
  • Syntax for Free: Representing Syntax with Binding Using Parametricity

    Atkey, Robert

    Pages 35-49

    Preview Buy Chapter 30,19 €

Buy this book

eBook 71,39 €
price for Spain (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 90,47 €
price for Spain (gross)
  • ISBN 978-3-642-02272-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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