Domain-theoretic Foundations Of Func - STREICHER THOMAS

$89.00
+ $21.99 Shipping

Domain-theoretic Foundations Of Func - STREICHER THOMAS

Sold by:
  • product image
Domain-theoretic Foundations Of Func - STREICHER THOMAS

$89.00

In stock
+ $21.99 Shipping

14-Day Returns Policy

Payment methods:

Product details

Product details

Domain-theoretic Foundations Of Func - STREICHER THOMAS

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.
  • Brand: World Scientific Publishing Co Pte Ltd
  • Category: Reference
  • Format: Hardcover
  • Language: English
  • Publication Date: 2006-12-15
  • Publisher / Label: World Scientific Publishing Co Pte Ltd
  • Author: STREICHER THOMAS
  • Number of Pages: 132
  • Fruugo ID: 512139232-1046322213
  • ISBN: 9789812701428
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: $21.99 - Delivery between Wed. 04 November 2026–Mon. 09 November 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy