Domain-theoretic Foundations Of Functional Programming - Streicher, Thomas (Technische Univ Darmstadt, Germany) - Books - World Scientific Publishing Co Pte Ltd - 9789812701428 - December 5, 2006
In case cover and title do not match, the title is correct

Streicher, Thomas (Technische Univ Darmstadt, Germany)
Domain-theoretic Foundations Of Functional Programming

Price
HK$ 434
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 20 - 30
Get notified about new Streicher, Thomas (Technische Univ Darmstadt, Germany) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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 also introduces computability in Scott domains.

132 pages, illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 5, 2006
ISBN13 9789812701428
Publishers World Scientific Publishing Co Pte Ltd
Pages 132
Dimensions 164 × 236 × 14 mm   ·   374 g

More from the same publisher

See all of Streicher, Thomas (Technische Univ Darmstadt, Germany) ( e.g. Hardcover Book )