Add to wish list | Link to this book | Add your own review | Add to My Bookbag

Click on this books subject categories to see related titles:
Subjects > Computers > Logic design
Subjects > Mathematics > Logic
Subjects > Lambda calculus



About This Book:

Title: Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings

Details
Series:             Lecture Notes in Computer Science
Language:        English

Size
Length:        397 Pages
Weight:        1.4 Pounds
Height:         9.3 Inches
Width:          6 Inches
Thickness:    1 Inches



Show Amazon Customer Reviews

Book Details Summary: The title of this book is Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings and it was written by Simona Ronchi Della Rocca (Editor). This edition of Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings is in a Paperback format. This books publish date is August 2007 and it has a suggested retail price of $79.95. There are 397 pages in the book and it was published by Springer-Verlag New York Inc. The 10 digit ISBN is 3540732276 and the 13 digit ISBN is 9783540732273. For the most current lowest price, Click Here.