Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Editors: Girard, Jean-Yves (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-48959-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-540-65763-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (27 chapters)

Table of contents (27 chapters)
  • The Coordination Language Facility and Applications

    Pages 1-5

    Andreoli, Jean-Marc

  • AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem

    Pages 6-13

    Eidorff, Peter Harry (et al.)

  • Modules in Non-commutative Logic

    Pages 14-24

    Michele Abrusci, V.

  • Elementary Complexity and Geometry of Interaction

    Pages 25-33

    Baillot, Patrick (et al.)

  • Quantitative Semantics Revisited

    Pages 40-53

    Barreiro, Nuno (et al.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-48959-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-540-65763-7
  • 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
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
Editors
  • Jean-Yves Girard
Series Title
Lecture Notes in Computer Science
Series Volume
1581
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48959-7
DOI
10.1007/3-540-48959-2
Softcover ISBN
978-3-540-65763-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 404
Topics