Typed Lambda Calculi and Applications
by P. De Groote (Editor)J. R. Hindley (Editor)G. Goos (Editor)J. Hartmanis (Editor)Jan Van Leeuwen (Editor)
Format: Paperback
ISBN13: 9783540626886
Paperback|9783540626886
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 2 offers from $58.73 FREE standard delivery by: 30 Mar 2026
Overview
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.
The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
| ISBN-13 | 9783540626886 |
|---|---|
| ISBN-10 | 3540626883 |
| Weight | 1.29 Pounds |
| Dimensions | 6.10 x 0.95 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | viii, 412 pages |
| Publisher | Springer |
| Published On | 1997-03-12 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 412 p. Lecture Notes in Computer Science, 1210...
Free delivery by: 30 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 30 Mar 2026