Hankin chris (126 risultati)

Paperback. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: New.

Hardcover. Condizione: 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. Condizione: 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.

Paperback. Condizione: New.

Condizione: 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. …

Condizione: 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.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: New.

Condizione: 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.…

Condizione: 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. Condizione: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

paperback. Condizione: 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.

Condizione: New.

Condizione: 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.

paperback. Condizione: Very Good.

Condizione: As New. Unread book in perfect condition.

Hardcover. Condizione: 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.

Hardcover. Condizione: 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.…

Condizione: New. In English.

Condizione: New.

Paperback or Softback. Condizione: 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.

Condizione: New.

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

Paperback. Condizione: Good. Condizione sovraccoperta: 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. Condizione: New.

Condizione: New.