An Introduction to Lambda Calculi for Computer Scientists - Hankin, C.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre16,53 €
Occasion · Très Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 3 et 5 jours
- Livraison GRATUITE
- Livré entre le 21 et le 23 juillet
Livré gratuitement chez vous en 2 semaines. Article presque inutilisé, absence presque totale de traces d'utilisation. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis...
Nos autres offres
-
22,21 €
Produit Neuf
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
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 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.
-
Les Armes Russes Et Soviétiques (Le Livre Des Armes...)
3 avis
Occasion dès 24,00 €
-
The Vocabulary Guide Anglais - Les Mots Anglais Et Leur Emploi
Neuf dès 20,90 €
Occasion dès 17,47 €
-
Mighty Morphin Power Rangers/Teenage Mutant Ninja Turtles
Neuf dès 23,62 €
-
Be Was Been : Les Verbes Irréguliers Anglais, C'est Facile !
4 avis
Occasion dès 15,44 €
-
Planet Meer: Kunst & Umweltforschung Unterwasser
Occasion dès 9,90 €
-
Applying To Us/Uk Graduate Programs - A Practical Guide
Neuf dès 45,00 €
Occasion dès 20,00 €
-
Guide Anglais Français De La Traduction
1 avis
Occasion dès 17,65 €
-
Incroyable Islam: La Religion Qui Met Votre Cerveau À L'épreuve (French Edition)
Occasion dès 20,48 €
-
Pour En Finir Avec La Politique De L'autruche
Occasion dès 12,65 €
-
The English Textbook - Prépas Ecg-Ect
2 avis
Neuf dès 29,00 €
Occasion dès 9,69 €
-
Essential Grammar In Use Without Answers
2 avis
Neuf dès 44,80 €
Occasion dès 16,19 €
-
Communes
2 avis
Neuf dès 45,00 €
Occasion dès 21,24 €
-
La Femme-Ciseaux & Autres Nouvelles
Occasion dès 21,99 €
-
Open Veins Of Latin America
Neuf dès 24,58 €
-
Grammaire Synthétique Anglais B2-C1
4 avis
Neuf dès 18,50 €
Occasion dès 16,69 €
-
The Chord Wheel
1 avis
Neuf dès 21,27 €
-
Maîtriser La Grammaire Anglaise - Niveaux B1/B2 Du Cadre Européen Commun De Référence Pour Les Langues (Lycée Et Début Des Études Supérieures)
19 avis
Occasion dès 10,79 €
-
A Practical English Grammar, Exercices 6. Indirect Speech And Passive Voice
Occasion dès 20,90 €
-
100 Deadly Skills
Neuf dès 21,46 €
Occasion dès 16,26 €
-
L'empire De L'exécutif (1933-2006) - La Présidence Des Etats-Unis De Franklin D. Roosevelt À George W. Bush
Occasion dès 13,00 €
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