Montant total (1 article articles) :
Destination de la commande :
lambda calculus combinators introduction de hindley roger (15 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (15)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (9)
- Comme neuf, Très bon ou Bon (4)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (6)
- Sans impressions à la demande (12)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Introduction to Combinators and (lambda) Calculus
Langue: anglais
Edité par Cambridge University Press, 1986
ISBN 10 : 0521318394 ISBN 13 : 9780521318396
Vendeur : Cotswold Internet Books, Cheltenham, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,34
Expédition à EUR 15,48
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 Good. VG paperback.
-
Lambda-Calculus and Combinators: An Introduction
Langue: anglais
Edité par Cambridge University Press (edition 2), 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,45
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
-
Lambda-Calculus and Combinators: An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,78
Expédition à EUR 6,42
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardback. Etat : Fine.
-
Lambda-Calculus and Combinators: An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
EUR 76,98
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Lambda-Calculus and Combinators : An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,35
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Lambda-Calculus and Combinators: An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 95,70
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Lambda-Calculus and Combinators: An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 87,17
Expédition à EUR 13,74
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Lambda-Calculus and Combinators : An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 87,16
Expédition à EUR 17,20
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Lambda-Calculus and Combinators : An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,08
Expédition à EUR 63,66
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 thoroughly 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.
-
Lambda-Calculus and Combinators : An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 164,15
Expédition à EUR 17,20
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Lambda-Calculus and Combinators: An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 154,72
Expédition à EUR 28,67
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Lambda-Calculus and Combinators : An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 186,54
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Lambda-Calculus and Combinators: An Introduction
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 92,60
Expédition à EUR 14,33
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 2nd edition. 360 pages. 9.25x6.00x1.00 inches. In Stock. This item is printed on demand.
-
Lambda-Calculus and Combinators: An Introduction
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 96,31
Expédition à EUR 19,69
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Lambda-Calculus and Combinators: An Introduction (Hardcover)
Langue: anglais
Edité par Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 95,06
Expédition à EUR 42,43
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. 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 thoroughly 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. This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
