Montant total (1 article articles) :
Destination de la commande :
lambda calculus combinators introduction de hindley roger (20 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (20)
- 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)
Reliure
- Toutes
- Couverture rigide (20)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
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 (18)
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
-
Lambda-Calculus and Combinators: An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,71
Autre deviseEUR 3,34 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : 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!
-
Lambda-Calculus and Combinators: An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : ZBK Books, Carlstadt, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,96
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Used book in good and clean conditions. Pages and cover are intact. Limited notes marks and highlighting may be present. May show signs of normal shelf wear and bends on edges. Item may be missing CDs or access codes. May include library marks. Fast Shipping.
-
Lambda-Calculus and Combinators (An Introduction)
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Smith Family Bookstore Downtown, Eugene, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,04
Autre deviseEUR 5,30 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. 2nd Edition. text clean and unmarked. binding tight. boards have little to no wear. edges of pages have very faint wear.
-
Lambda-Calculus and Combinators : An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,32
Autre deviseEUR 9,47 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Lambda-Calculus and Combinators : An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 84,75
Autre deviseEUR 2,35 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Lambda-Calculus and Combinators: An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 83,52
Autre deviseEUR 3,55 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Lambda-Calculus and Combinators: An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,15
Autre deviseEUR 14,18 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Lambda-Calculus and Combinators: An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 94,49
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Lambda-Calculus and Combinators: An Introduction (Hardcover)
Edité par Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 101,07
Autre deviseGratuit expédition 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Lambda-Calculus and Combinators : An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 107,65
Autre deviseEUR 2,35 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Lambda-Calculus and Combinators: An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Anis Press, Walnut Creek, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,91
Autre deviseEUR 8,91 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : As New. 2nd Edition.
-
Lambda-Calculus and Combinators : An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,93
Autre deviseEUR 17,75 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Lambda-Calculus and Combinators: An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Russell Books, Victoria, BC, Canada
Évaluation du vendeur 5 sur 5 étoiles
EUR 105,26
Autre deviseEUR 8,90 expédition depuis Canada vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardcover. Etat : New. 2nd Edition. Special order direct from the distributor.
-
Lambda-Calculus and Combinators: An Introduction (Hardcover)
Edité par Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 3 sur 5 étoiles
EUR 88,72
Autre deviseEUR 32,95 expédition depuis Australie 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Lambda-Calculus and Combinators : An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 105,18
Autre deviseEUR 31,65 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 (Hardcover)
Edité par Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 96,88
Autre deviseEUR 43,78 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Lambda-Calculus and Combinators : An Introduction
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 136,96
Autre deviseEUR 17,75 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 152,35
Autre deviseEUR 29,58 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
-
Lambda-Calculus and Combinators: An Introduction
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 91,53
Autre deviseEUR 11,83 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
Edité par Cambridge University Press, 2008
ISBN 10 : 0521898854 ISBN 13 : 9780521898850
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,94
Autre deviseEUR 15,58 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 642.
