Domain theoretic foundations functional programming par streicher thomas (12 résultats)

Auteur: 
Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (12)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par World Scientific Publishing Company, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 47,31

    EUR 2,35 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par World Scientific Publishing Company, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 46,13

    EUR 4,93 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 15 disponibles

    HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

  • Langue : anglais

    Edité par World Scientific Publishing Company, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 50,46

    EUR 2,35 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par World Scientific Publishing Company, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 54,99

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

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

    9812701427 / 9789812701428

    • Couverture rigide

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

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 58,00

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

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. Illustrated. 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.…

  • Langue : anglais

    Edité par World Scientific Publishing Company, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 51,95

    EUR 17,79 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par World Scientific Publishing Company, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 57,28

    EUR 13,39 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Etat : New. In English.

  • Langue : anglais

    Edité par World Scientific Publishing Company, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 56,88

    EUR 17,79 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par World Scientific Pub Co Inc, 2006

    9812701427 / 9789812701428

    • Couverture rigide

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 67,17

    EUR 11,86 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Hardcover. Etat : Brand New. illustrated edition. 120 pages. 9.00x6.00x0.50 inches. In Stock.

  • Langue : anglais

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

    9812701427 / 9789812701428

    • Couverture rigide

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

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 56,55

    EUR 77,09 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. Illustrated. 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.…

  • Langue : anglais

    Edité par World Scientific Pub Co Inc, 2006

    9812701427 / 9789812701428

    • Couverture rigide
    • impression à la demande

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 45,86

    EUR 11,86 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : Brand New. illustrated edition. 120 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.

  • Langue : anglais

    Edité par WORLD SCIENTIFIC PUB CO INC, 2006

    9812701427 / 9789812701428

    • Couverture rigide
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 55,00

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. It als.…