Lambda-Calculus, Combinators and Functional Programming - Revesz, G. E.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre118,99 €
Produit Neuf
Ou 29,75 € /mois
- Livraison : 25,00 €
- Livré entre le 29 juin et le 4 juillet
- 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 Lambda - Calculus, Combinators And Functional Programming Format Broché - Livre Informatique
0 avis sur Lambda - Calculus, Combinators And Functional Programming Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Art Of The Last Of Us Part Ii Deluxe Edition
1 avis
Neuf dès 79,00 €
Occasion dès 129,00 €
-
I Tokyo
Occasion dès 140,00 €
-
Bovine Anatomy
Neuf dès 109,20 €
-
Dépression Et Anxiété : Comprendre Et Surmonter Par L'approche Cognitive
Occasion dès 163,95 €
-
Emperor In The Roman World
Neuf dès 107,51 €
-
Botanical Sketchbook
1 avis
Neuf dès 61,97 €
-
Marilyn
2 avis
Occasion dès 150,00 €
-
Gender In Organizations
Neuf dès 76,94 €
-
Configuring Sap S/4hana Finance
Neuf dès 111,72 €
-
Surrealism - Two Private Eyes
Occasion dès 139,20 €
-
Journey To Onomichi / Die Reise Nach Onomichi
Occasion dès 150,00 €
-
Shelley Ou Le Complexe D'icare
Occasion dès 66,00 €
-
Menschen Des 20. Jahrhunderts
Neuf dès 159,37 €
-
L'Énéide Virgile Jean De Bonnot En 4 Tomes Traduite Par Jacques Delille
Occasion dès 100,00 €
-
Montres-Bracelets
Occasion dès 80,00 €
-
Le Médecin Des Pauvres Et Les 2000 Recettes Utiles: (Édition Complète Et Augmentée Pour Les Maux Du 21ème Siècle)
Occasion dès 65,89 €
-
Leaders And Legacies
Neuf dès 71,50 €
-
Lois Dodd
Neuf dès 60,00 €
-
Lee Child's Jack Reacher Books 1-6
Neuf dès 59,58 €
-
Amsterdam The Gloobles Guide
Neuf dès 65,89 €
Produits similaires
Présentation Lambda - Calculus, Combinators And Functional Programming Format Broché
- Livre Informatique
Sommaire:
Preface; 1. Introduction; 2. Type-free lambda-calculus; 3. Combinators and constant symbols; 4. List manipulation in lambda-calculus; 5. Rule-based semantics of ?-expressions; 6. Outlines of a reduction machine; 7. Towards a parallel graph-reduction; Appendix A: A proof of the Church-Rosser theorem; Appendix B: Introduction to typed ?-calculus; Bibliographical notes; References.
Détails de conformité du produit
Personne responsable dans l'UE