Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
by Pierre-Louis Curien
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 08-Jun-2009 |
| ISBN-10: | 3642022723 |
| ISBN-13: | 9783642022722 |
| Binding Type: | Paperback |
| Weight: | 735 gms |
| Pages: | pp. xiii + 415, Illus. |
The Title "Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings" is written by Pierre-Louis Curien. This book was published in the year 2009. The ISBN number 3642022723|9783642022722 is assigned to the Paperback version of this title. This book has total of pp. xiii + 417 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings is currently Available with us.