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
-
50,29 €
Produit Neuf
Ou 12,57 € /mois
- Livraison à 0,01 €
Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 14 à 21 jours ouvrables.
- 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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Finance For Executives
Occasion dès 35,00 €
-
Classic Beauty
Neuf dès 51,80 €
-
Bazi Hour Pillar Useful Gods -- Metal
Neuf dès 60,62 €
-
Guitar World S 50 Greatest Rock Songs Of All Time Guitar Recorded Versions Note-For-Note Transcriptions Of Iconic Rock Hits
Neuf dès 55,32 €
Occasion dès 78,99 €
-
This Is Service Design Doing
Occasion dès 36,56 €
-
Chris Rea - Song By Song
Neuf dès 28,34 €
-
Arnold Böcklin 1827-1901
1 avis
Occasion dès 29,11 €
-
Lavorare Stanca/ Travailler Fatigue
Occasion dès 27,00 €
-
Historic Sugar Mills In Santo Domingo ¿ Case Studies In Adaptive Reuse
Neuf dès 48,32 €
-
Le Russe, Nina Potapova 1961
Occasion dès 25,00 €
-
Moschino
Occasion dès 57,99 €
-
A Hebrew And English Lexicon Of The Old Testament
Occasion dès 49,30 €
-
La Bible Officielle Du Test Toeic - Le Meilleur Tout-En-Un Pour Réussir ! (4 Cd Audio)
15 avis
Occasion dès 20,48 €
-
View From A Hill
1 avis
Neuf dès 43,73 €
-
The Big Silver Book Of Russian Verbs, 2nd Edition
Neuf dès 53,46 €
Occasion dès 36,95 €
-
Kitchen Confidential : Adventures In The Culinary Underbelly
Occasion dès 20,78 €
-
The Etchings Of James Mcneill Whistler
Occasion dès 44,98 €
-
Serge Anton - Portraits Et Paysages Du Monde
Neuf dès 49,95 €
-
The Art Of Ian Miller
1 avis
Neuf dès 39,74 €
Occasion dès 42,25 €
-
Stand Der Dinge
Occasion dès 48,00 €
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