J roger hindley (63 risultati)

Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS 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: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.

hardcover. Condizione: Acceptable.

Hardcover. Condizione: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Condizione: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.

Condizione: New.

Condizione: New.

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

Condizione: As New. Unread book in perfect condition.

hardcover. 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.

Condizione: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.

Condizione: New. In English.

Paperback. Condizione: New.

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

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: New. In English.

PF. Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 200.

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

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

Original-Broschur. 360 Seiten. Gutes Exemplar mit nur leichten Gebrauchsspuren. Textsauber und aus einem Nichtraucherhaushalt. Original softcover. Clean book in good condition. Book from a non smoking environment. Sprache: Englisch.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Cloth. Condizione: Very Good. Condizione sovraccoperta: 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.

Condizione: New.

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