An Introduction to Lambda Calculi for Computer Scientists - Hankin, C.
- 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.
- 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 An Introduction To Lambda Calculi For Computer Scientists de Hankin, C. Format Broché - Livre Informatique
0 avis sur An Introduction To Lambda Calculi For Computer Scientists de Hankin, C. Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Complete Oxford Shakespeare , 3 Volumes
Occasion dès 12,00 €
-
Marilyn Monroe Ii: A Poster Book / By Alice Hillier
Occasion dès 30,00 €
-
Horror Films - Cinéma Fantastique -
Occasion dès 29,80 €
-
La Casa De Los Espiritus
Occasion dès 11,00 €
-
The Empowerment Manual
Neuf dès 75,52 €
Occasion dès 20,00 €
-
Bruce Nauman
2 avis
Neuf dès 35,00 €
Occasion dès 14,90 €
-
The Man With A Single Camera
Neuf dès 25,00 €
Occasion dès 105,28 €
-
Value Investing: From Graham To Buffett And Beyond (Wiley Finance)
Occasion dès 26,28 €
-
The Climbing Bible: Practical Exercises
Neuf dès 29,00 €
-
Koñchennoù, Histoire Vécues De Mon Enfance
Occasion dès 13,00 €
-
Je Me Débrouille En Anglais
6 avis
Occasion dès 19,00 €
-
Allemand Intermédiaire
1 avis
Occasion dès 14,48 €
-
Nosso Lar
1 avis
Occasion dès 13,53 €
-
Saitenwege Nach Südamerika 2
Neuf dès 28,57 €
-
L'anglais B2
10 avis
Occasion dès 12,00 €
-
Philip Glass: The Complete Piano Etudes - Piano Classics Sheet Music - Piano Chord Book - Philip Glass Piano Works
1 avis
Neuf dès 26,48 €
Occasion dès 56,99 €
-
Charred
Neuf dès 27,53 €
-
Grunge Is Dead
Neuf dès 26,83 €
Occasion dès 19,19 €
-
The Ultimate Sales Letter : Attract New Customers - Boost Your Sales Ultimate Sales Letter
Occasion dès 26,98 €
-
Stylistique Comparée Du Français Et De L'anglais - Méthode De Traduction
9 avis
Neuf dès 32,00 €
Occasion dès 11,34 €
Produits similaires
Présentation An Introduction To Lambda Calculi For Computer Scientists de Hankin, C. Format Broché
- Livre Informatique
Résumé :
The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature.
Détails de conformité du produit
Personne responsable dans l'UE