TYPED LAMBDA CALCULI AND APPLICATIONS - Paperback - 1995
by PLOTKIN, GORDON,
- New
- Paperback
- first
A$65.12
A$21.71
Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Standard delivery: 7 to 12 days
Ships from DELHI BOOK STORE (Delhi, India)
Details
- Title TYPED LAMBDA CALCULI AND APPLICATIONS -
- Author PLOTKIN, GORDON,
- Binding Paperback
- Edition 1st
- Condition New
- Pages 452
- Volumes 1
- Language ENG
- Publisher Springer, Berlin, Germany
- Publication date 1995
- Bookseller's Inventory # AME_9783540590484
- ISBN 9783540590484 / 354059048X
- Weight 1.41 lbs (0.64 kg)
- Dimensions 9.21 x 6.14 x 0.93 in (23.39 x 15.60 x 2.36 cm)
- Category Mathematics
- Library of Congress Catalogue Number 95005969
- Dewey Decimal Code 511.3
- Quantity available 5
About DELHI BOOK STORE Delhi, India
Biblio member since 2007
Our prime concern is to make books available with its extensive choices of titles on all subjects for medicine, engineers, technocrats, corporates, scientists, academics, students, scholars and many more at attractive price range.
Reader reviews for TYPED LAMBDA CALCULI AND APPLICATIONS -
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
First line
In [Lam90], Lamping proposed a complex graph reduction technique for the A-calculus that was optimal in the sense of Levy [Le78].