Hindley Roger (64 results)
- Softcover
Seller: Cotswold Internet Books, Cheltenham, United KingdomCotswold Internet Books
Contact seller5-star sellerCondition: Used
£ 24.00
£ 14.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used - Very Good. VG paperback. London Mathematical Society Student Texts 1. 1986 1st edition with uncreased but slightly faded spine and lightly creased cover; a little wear to edges and corners. Page fore-edges a bit yellowed. Internally, top corner of first page removed; otherwise, a clean, tidy copy. Used - Very G…ood. VG paperback.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.88
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge, Cambridge Univ. Press 1972
- Softcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used
£ 13.37
£ 34.61 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover. 170 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 521096979 Sprache: Englisch Gewicht in Gramm: 550.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 49.11
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 48.97
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 43.64
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
More imagesChartwell Books
Hindley, Geoffrey; Benny Green, Dr Everrett Helm, Donald Paine, Roger Smalley and Stephen Walsh.
Language: English
Published by Chartwell Books, Estados Unidos. 1976
- Hardcover
Seller: Librería "Franz Kafka" México., Cuernavaca, MexicoLibrería "Franz Kafka" México.
Contact seller5-star sellerCondition: Used - Fair
£ 49.85
£ 8.01 shippingShips from Mexico to U.S.A.Quantity: 1 available
Add to basketEncuadernación de tapa dura. Condition: Regular. Hindley, Geoffrey; Benny Green, Dr Everrett Helm, Donald Paine, Roger Smalley and Stephen Walsh. Larousse Encyclopedia of Music. Estados Unidos, Chartwell Books, 1976. Características: Buen estado general pero tiene raspadas las orillas de las pastas. . Pasta dura en tela editoria…l con camisa. Camisa limpia en buen estado general. Tapas limpias en buen estado general. Letras con acabado brillante sobre lomo. Guardas limpias con dibujos. Cantos limpios. Incluye varias ilustraciones en blanco y negro. Algunas a color. Incluye algunas láminas a color. Introducción por Antony Hopkins. 555 p. + índice. (30 x 22 cm) Peso: 1.850 g. (4020).
Language: English
Published by Cambridge University Press 2008-08-21 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 42.52
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 43.63
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 52.08
£ 9.08 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. An introduction to type theory for computer scientists. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 200 pages, 10 b/w illus. 1 table. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 227 x 154 x 13. Weight in Grams: 314. . 2008. 1st Edition. paperback. .…. . .
Language: English
Published by Cambridge University Press CUP 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 61.72
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 200.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.86
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 49.86
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 61.90
£ 7.82 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. An introduction to type theory for computer scientists. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 200 pages, 10 b/w illus. 1 table. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 227 x 154 x 13. Weight in Grams: 314. . 2008. 1st Edition. paperback. .…. . . Books ship from the US and Ireland.
- Hardcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Good
£ 68.60
£ 8.65 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
- Hardcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Very good
£ 68.60
£ 8.65 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
- Hardcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 80.80
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 82.87
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: WorldofBooks, Goring-By-Sea, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Fine
£ 81.80
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardback. Condition: Fine.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 77.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press 1997
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Fireside Bookshop, Stroud, United KingdomFireside Bookshop
Contact seller5-star sellerCondition: Used - Very good
£ 65.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Cloth. Condition: Very Good. Dust Jacket Condition: No d/j as Published. Type: Book N.B. Small plain label to inside front cover. Slight rubbing to corners of boards and head and tail of spine.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 77.42
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 90.56
£ 9.08 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. 2008. 2nd Edition. Hardcover. This book gives an account of combinatory logic and lambda-calculus models. Num Pages: 358 pages, 10 b/w illus. 1 table 55 exercises. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 237 x 159 x 24. Weight in Grams: 688. . . . . .
- Hardcover
Seller: Rarewaves.com USA, London, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 102.63
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughl…y revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.66
£ 54.65 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 f…rom 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.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.78
£ 60.56 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Typed Lambda Calculi and Applications | Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings | Philippe De Groote (u. a.) | Taschenbuch | viii | Englisch | 1997 | Springer | EAN 9783540626886 | Verantwortliche Person für die EU…: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Cambridge University Press 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 58.29
£ 53.20 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all…the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists.
- Hardcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 108.28
£ 7.82 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. 2008. 2nd Edition. Hardcover. This book gives an account of combinatory logic and lambda-calculus models. Num Pages: 358 pages, 10 b/w illus. 1 table 55 exercises. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 237 x 159 x 24. Weight in Grams: 688. . . . . . Books ship from the US and Ire…land.
Language: English
Published by Cambridge University Press 1997
Series: Cambridge Tracts in Theoretical Computer Science, Book 22 of 40. Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 122.01
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
