Lecture Notes in Computer Science

Typed Lambda Calculi and Applications

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Editors: Hofmann, Martin (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-44904-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-40332-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (2 chapters)

  • Encoding of the Halting Problem into the Monster Type and Applications

    Thierry Joly

    Pages

  • Observational Equivalence and Program Extraction in the Coq Proof Assistant

    Nicolas Oury

    Pages

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-44904-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-40332-6
  • 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
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
Editors
  • Martin Hofmann
Series Title
Lecture Notes in Computer Science
Series Volume
2701
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44904-1
DOI
10.1007/3-540-44904-3
Softcover ISBN
978-3-540-40332-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 320
Topics