Domains and Lambda-Calculi - Amadio, Roberto M.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre90,77 €
Produit Neuf
Ou 22,69 € /mois
- Livraison à 0,01 €
- Livré entre le 13 et le 26 mai
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
107,98 €
Occasion · Comme Neuf
Ou 27,00 € /mois
5,40 € offerts- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- 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 Domains And Lambda - Calculi Format Broché - Livre Informatique
0 avis sur Domains And Lambda - Calculi Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Yoshitomo Nara: Pinacoteca
Occasion dès 62,33 €
-
Pomellato
Occasion dès 80,00 €
-
Warehouse Management
Neuf dès 66,26 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
Yngwie Malmsteen Anthology
1 avis
Neuf dès 49,99 €
-
Sennelier L'artisan Des Couleurs
Occasion dès 67,00 €
-
Medicine 1 - Student's Book
Occasion dès 47,99 €
-
Encyclopedia Of Hydrangeas
Occasion dès 51,25 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
-
My Favorite Thing Is Monsters
1 avis
Neuf dès 50,53 €
-
The Colouring, Bronzing And Patination Of Metals
Neuf dès 74,06 €
Occasion dès 60,00 €
-
Hilgard S Introduction To Psychology Rita L. Atkinson
Occasion dès 95,99 €
-
L'allemand B2 Pack Téléchargement - Avec 1 Livre, 1 Livret Et 1 Téléchargement Audio
Neuf dès 49,90 €
Occasion dès 62,61 €
-
Simone Pheulpin
Neuf dès 79,00 €
Occasion dès 134,22 €
-
Power Electronics
Neuf dès 55,39 €
-
Finance For Executives
Occasion dès 50,00 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Pucci De Rossi: '71-'96
Occasion dès 49,70 €
-
David Busch's Canon Eos R6 Ii Guide To Digital Photography
Neuf dès 46,39 €
Occasion dès 82,99 €
Produits similaires
Présentation Domains And Lambda - Calculi Format Broché
- Livre Informatique
Résumé :
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Sommaire:
Preface; Notation; 1. Continuity and computability; 2. Syntactic theory of ?-calculus; 3. D? models and intersection types; 4. Interpretation of ?-calculi in CCC's; 5. CCC's of algebraic dcpo's; 6. The language PCF; 7. Domain equations; 8. Values and computations; 9. Powerdomains; 10. Stone duality; 11. Dependent and second order types; 12. Stability; 13. Towards linear logic; 14. Sequentiality; 15. Domains and realizability; 16. Functions and processes; Appendix 1: summary of recursion theory; Appendix 2: summary of category theory; References and bibliography; Index.
Détails de conformité du produit
Personne responsable dans l'UE