Chris Hankin (130 results)

Paperback. Condition: Good. The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature.…

Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Paperback. Condition: Very Good. 1st. 90 clean, unmarked pages; items by/about: Poems (Robert Pinsky, Ian Frazier & Victoria Roberts); PUZZLES ISSUE: Roz Chast and Emily Flake, Lisa Hanawalt, Seth, Edward Koren and Mark Singer (Envisioning Extinction); Jonahtan Blitzer (Profles: Kevin McCarthy); Davic Denby (Norman Mailer); etc; Talk of the Town, Theatre, Cinema, Book Reviews;, Art , Etc. Chris Ware "Ups and Downs"; George Booth, Drew Panckeri, Pis Guerra Ian Boothy, Sam Dross, Paul Noth, Charlie Hankin, Etc (illustrator). …

Paperback. Condition: New.

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.

Condition: Very Good. 1 Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. …

Paperback. Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: Good. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,350grams, ISBN:9780954300654.

Condition: New.

Paperback. Condition: New.

Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Condition: New.

paperback. Condition: Very Good.

Condition: As New. Unread book in perfect condition.

Hardcover. Condition: Very Good. Cover has some wear. Name written inside front cover. Pages are clean and unmarked. If you have any questions, or would like images, please let me know.

Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Condition: Good. Ex-Library copy, Hardcover, cover different than pictured! Photos available upon request! Book has slight bumping to bottom edge of spine, mild rubbing to edges of spine and corners of cover, a small library sticker at bottom of spine, a small pencil inscription to back of title page, small creases to top corner of pages 251 to 272, and a faint stain to textblock. otherwise book is in good condition with a bright cover, clean pages, and a strong binding.…

Condition: New. In English.

Condition: New.

Paperback or Softback. Condition: New. Programming Languages and Systems: 7th European Symposium on Programming, Esop'98, Held as Part of the Joint European Conferences on Theory and Practi. Book.

Condition: New.

Paperback or Softback. Condition: New. Coordination Languages and Models: First International Conference, Coordination '96, Cesena, Italy, April 15-17, 1996. Proceedings. Book.

Paperback. Condition: Good. Dust Jacket Condition: No d/j as Published. Type: Book N.B. Small plain label to inside front cover. Damage stamp to title page. Fading to spine and corners of covers.

Paperback. Condition: New.

Condition: New.