Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings
$67.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9783540657637
1
Details
- Format
- Paperback
- ISBN-13
- 9783540657637
- Publisher
- Springer
- Published
- March 24, 1999
- Pages
- 404
- Weight
- 20.3 oz
- Subject
- Mathematics
More by Jean-Yves Girard
All books
Popular in Mathematics
Browse Mathematics
Six Math Essentials
Terence Tao
$20.99
How to Lie with Statistics
Darrell Huff
$11.99
McGraw-Hill Education Algebra I Review and Workbook
Sandra Luna McCune
$13.99
Everything Is Predictable: How Bayesian Statistics Explain Our World
Tom Chivers
$16.99
How Not to Be Wrong: The Power of Mathematical Thinking
Jordan Ellenberg
$15.99
Naked Statistics: Stripping the Dread from the Data
Charles Wheelan
$14.99
McGraw-Hill Education Algebra II Review and Workbook
Christopher Monahan
$12.99
Is Math Real?: How Simple Questions Lead Us to Mathematics' Deepest Truths
Eugenia Cheng
$15.99
How to Solve It: A New Aspect of Mathematical Method
George Polya
$17.99
Mathematics for Human Flourishing
Francis Su
$14.99
The Signal and the Noise: Why So Many Predictions Fail--But Some Don't
Nate Silver
$16.99
Infinite Powers: How Calculus Reveals the Secrets of the Universe
Steven Strogatz
$16.99