Get Free Shipping on orders over $79
Domain-theoretic Foundations Of Functional Programming - Thomas  Streicher
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Domain-theoretic Foundations Of Functional Programming

By: Thomas Streicher

Hardcover | 5 December 2006

At a Glance

Hardcover


RRP $81.99

$73.99

10%OFF

or 4 interest-free payments of $18.50 with

 or 

Ships in 15 to 25 business days

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.

More in Science

Liars, cheats and copycats : Trickery and deception in nature - James O'Hanlon
Is a River Alive? - Robert Macfarlane

RRP $26.99

$22.99

15%
OFF
A World Appears : A Journey Into Consciousness - Michael Pollan

RRP $39.99

$31.75

21%
OFF
The Shortest History of Innovation - Andrew Leigh
Principles of Anatomy and Physiology : 3rd Asia Pacific Edition - Gerard J. Tortora
How Emotions Are Made : The Secret Life of the Brain - Lisa Feldman Barrett
General, Organic, and Biological Chemistry : 7th Edition - H.Stephen Stoker
The Anatomy Coloring Book - Wynn Kapit

RRP $33.55

$30.75

Nelson VicMaths 12 Foundation Maths : 1st Edition - Sue Thomson

RRP $98.95

$89.75

The First Astronomers : How Indigenous Elders read the stars - Duane Hamacher
The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
Nelson WAmaths Mathematics Applications : 11th Edition - Amanda Pettitt
Biology in Focus Year 11 Student Book Updated : 2nd Edition - Glenda Chidrawi
Primary Mathematics : 4th Edition - Integrating Theory with Practice - Penelope Baker
Environmental Biology : 1st Edition - Mike Calver

RRP $184.95

$144.75

22%
OFF