The Lambda Calculus. Its Syntax and Semantics - Henk Barendregt
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
49,55 €
Produit Neuf
Ou 12,39 € /mois
- Livraison à 0,01 €
- Livré entre le 22 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781848900660_dbm
Voir le détail de l'annonce -
52,37 €
Produit Neuf
Ou 13,09 € /mois
- Livraison à 0,01 €
Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 14 à 21 jours ouvrables.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur The Lambda Calculus. Its Syntax And Semantics de Henk Barendregt Format Broché - Livre Informatique
0 avis sur The Lambda Calculus. Its Syntax And Semantics de Henk Barendregt Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Les Armes Russes Et Soviétiques (Le Livre Des Armes...)
2 avis
Occasion dès 24,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Culinaria France
Occasion dès 57,00 €
-
Flandre Et Amérique Latine: 500 Ans De Confrontation Et Métissage
1 avis
Occasion dès 34,00 €
-
La Bible Officielle Du Toeic - Le Meilleur Tout-En-Un Pour Réussir !
3 avis
Neuf dès 44,90 €
Occasion dès 25,00 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Concise Oxford English Dictionary 12th Ed
22 avis
Neuf dès 42,95 €
Occasion dès 25,00 €
-
Pontificale Romanum. Editio Typica 1961-1962.
Occasion dès 24,00 €
-
Domenico Scarlatti 60 Sonatas, Books 1 And 2 Schirmer Library Of Musical Classics Vol. 2063 Piano Sheet Music Collection For Advanced & Intermediate Pianists
Neuf dès 28,70 €
-
The Principles Of Product Development Flow: Second Generation Lean Product Development
Occasion dès 29,56 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
Museum Of The Revolution
Occasion dès 45,99 €
-
Ouragan: 30 Siècles De Vies Communes (French Edition)
3 avis
Occasion dès 24,64 €
-
Philip Glass: The Complete Piano Etudes - Piano Classics Sheet Music - Piano Chord Book - Philip Glass Piano Works
1 avis
Neuf dès 26,99 €
-
Buddhist Monuments And Temples Of Cambodia And Laos
Neuf dès 39,26 €
-
Guide Officiel Bayonetta - Édition Collector
Occasion dès 40,00 €
-
Visual Culture
Neuf dès 25,15 €
-
Intellectuals And Society (Revised, Enlarged)
Neuf dès 31,93 €
Produits similaires
Présentation The Lambda Calculus. Its Syntax And Semantics de Henk Barendregt Format Broché
- Livre Informatique
Résumé :
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.
Détails de conformité du produit
Personne responsable dans l'UE