Domain-theoretic Foundations Of Functional Programming

Langue : anglais

Edité par World Scientific Publishing Co Pte Ltd, SG, 2006

9812701427 / 9789812701428

Vendeur : Rarewaves.com USA, London, London, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Livre relié

Etat: Neuf

EUR 58,00

 Frais de port gratuits 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail.A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations.A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs.

N° de réf. du vendeur LU-9789812701428

Titre
Domain-theoretic Foundations Of Functional Programming
Auteur
Thomas Streicher
Éditeur
World Scientific Publishing Co Pte Ltd, SG
Année de publication
2006
État de l'article
New
Reliure
Hardback
Langue
anglais
ISBN à 10 chiffres
9812701427
ISBN à 13 chiffres
9789812701428
Édition
Illustrated.
Poids de l'article
386 grammes
Dimensions
16.41 x 1.42 x 23.42 cm

Rarewaves.com USA

London, London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article9 à 14 jours ouvrés9 à 14 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE