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 (https://fr.shopping.rakuten.com/feedback/mo... Voir plus

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Basic Simple Type Theory Format Broché - Livre Informatique

Note : 0 0 avis sur Basic Simple Type Theory Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Basic Simple Type Theory Format Broché
- Livre Informatique

Livre Informatique - Hindley, J. Roger - 01/11/2007 - Broché - Langue : Anglais

Auteur(s) : Hindley, J. Roger

Editeur : Cambridge University Press

Langue : Anglais

Parution : 01/11/2007

Format : Moyen, de 350g à 1kg

Nombre de pages : 200

Expédition : 298

Dimensions : 22.9 x 15.2 x 1.2

ISBN : 0521054222

Sommaire:
Introduction; 1. The type-free ?-calculus; 2. Assigning types to terms; 3. The principal-type algorithm; 4. Type assignment with equality; 5. A version using typed terms; 6. The correspondence with implication; 7. The converse principal-type algorithm; 8. Counting a type's inhabitants; 9. Technical details; Answers to starred exercises; Bibliography; Table of principal types; Index.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Basic Simple Type Theory - Hindley, J. Roger

Avis sur Basic Simple Type Theory Format Broché - Livre Informatique

Présentation Basic Simple Type Theory Format Broché - Livre Informatique

Présentation Basic Simple Type Theory Format Broché
- Livre Informatique