From reviews of the first edition: 'The book of R. Hindley and J. Seldin is a very good introduction to fundamental techniques and results in these fields ... the book is clear, pleasant to read, and it needs no previous knowledge in the domain, but only basic notions of mathematical logic ... Clearly, it was impossible to treat everything in detail; but even when a subject is only skimmed, the book always provides an incentive for going deeper, and furnishes the means to do it, owing to a substantial bibliography. Several chapters end with interesting and useful notes with history, comments, and indications for further reading ... In conclusion, this book is very interesting and well written, and is highly recommended to everyone who wants to approach combinatory logic and lambda-calculus (logicians or computer scientists). J. Symbolic Logic

'The best general book on lambda-calculus (typed or untyped) and the theory of combinators.' G�rard Huet, INRIA

'... for teaching and for research or self-study the book is an outstanding source with its own clear merits. I think this second edition of this classical book is a beautiful asset for the literature on λ-calculus and CL.' Theory and Practice of Logic Programming

'... well written and offers a broad coverage backed by an extensive list of references. It could serve as an excellent study material for classes on λ-calculus and CL as well as a reference for logicians and computer scientists interested in the formal background for functional programming and related areas.' EMS Newsletter

'Without doubt this is a valuable treatment of a venerable topic that rewards those who understand it. The authors successfully promulgate their tradition, and that is certainly more important than providing full proofs for every result.' The Journal of JFP

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Over 500,000 quality used, rare, and out-of-print books and magazines.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Smith Family Bookstore Downtown, Inc.
525 Willamette Street, Eugene, OR, 97401, U.S.A.

Conditions de vente :

We guarantee the condition of every book as it's described on the Abebooks web sites. If the book is not as not as described or damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you change your mind please use the Ask bookseller a question link to contact us about a return and we'll usually respond within 2 business days.

Smith Family Bookstore, Inc.
525 Willamette Street
Eugene OR 97401
sfbooks2@gmail.com
Tax ID 93-0813752
Au...

Pour plus d'information

Conditions de livraison :

Tracking information can be found under Item Details in Your Purchases. Books ship within one business day except weekends. ?There are no additional charges generally for oversized except for exceptionally large books. International shipping is based on standard flat-rate mailer costs. Extra postage will be required for oversized books.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Lambda-Calculus and Combinators (An Introduction)

Lambda-Calculus and Combinators (An Introduction)

Hindley, J. Roger

Ancien(s) ou d'occasion - Couverture rigide

Informations commerciales relatives au vendeur