Tell your friends about this item:
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings - Lecture Notes in Computer Science Simona Ronchi Della Rocca 2007 edition
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings - Lecture Notes in Computer Science
Simona Ronchi Della Rocca
Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.
400 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 15, 2007 |
| ISBN13 | 9783540732273 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 400 |
| Dimensions | 155 × 235 × 21 mm · 576 g |
| Language | French |
| Editor | Ronchi Della Rocca, Simona |
More by Simona Ronchi Della Rocca
Show allMere med samme udgiver
See all of Simona Ronchi Della Rocca ( e.g. Paperback Book and Hardcover Book )