Domain-theoretic Foundations Of Functional Programming - Thomas Streicher

Instant online reading.
Don't wait for delivery!
Go digital and save!

Domain-theoretic Foundations Of Functional Programming

By: Thomas Streicher

Write A Review

Hardcover | 5 December 2006

At a Glance

Hardcover
132 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Hardcover

RRP $81.99

$73.99

10%OFF

or 4 interest-free payments of $18.50 with

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Functional Programming Science Computer Science Booktopia Publisher Services World Scientific Publishing

Preface	p. ix
Introduction	p. 1
PCF and its Operational Semantics	p. 13
The Scott Model of PCF	p. 23
Basic Domain Theory	p. 25
Domain Model of PCF	p. 32
LCF - A Logic of Computable Functionals	p. 34
Computational Adequacy	p. 37
Milner's Context Lemma	p. 43
The Full Abstraction Problem	p. 45
Logical Relations	p. 51
Some Structural Properties of the D[sigma]	p. 57
Solutions of Recursive Domain Equations	p. 65
Characterisation of Fully Abstract Models	p. 77
Sequential Domains as a Model of PCF	p. 87
The Model of PCF in S is Fully Abstract	p. 95
Computability in Domains	p. 99
Bibliography	p. 117
Index	p. 119
Table of Contents provided by Ingram. All Rights Reserved.

Domain-theoretic Foundations Of Functional Programming

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Science

Liars, cheats and copycats

Trickery and deception in nature

The Life Trilogy Boxset

Quantum 2.0

The Past, Present, and Future of Quantum Physics

Alchemy

An Illustrated History of Elixirs, Experiments, and the Birth of Modern Science

The Genius of Trees

How trees mastered the elements and shaped the world

The Princeton Field Guide to Mesozoic Plants

Princeton Field Guides

Seven Brief Lessons on Physics

Anniversary Edition

Quantum Body

The New Science of Living a Longer, Healthier, More Vital Life

A Short History of Nearly Everything 2.0

The Body A-Z

A fun, fascinating and family-friendly manual for the most important thing you own

The Best Australian Science Writing 2025

The Best Australian Science

Breed Your Own Vegetable Varieties

The Gardener's and Farmer's Guide to Plant Breeding and Seed Saving, 2nd Edition

Super Body

A 3-Week Program to Harness the New Science of Body Composition and Restore Your Youthful Contours

The Breath of the Gods

The History and Future of the Wind

Against the Machine

On the Unmaking of Humanity

Death by Comfort

How modern life is killing us and what we can do about it

Whale

The Illustrated Biography

The Botanical Wall Chart

Art from the golden age of scientific discovery

10 to 25

The Science of Motivating Young People

Ecology Matters

Conversations with Australian Ecologists

Maths in Focus 11 Mathematics Standard (Pathway 2) Student Book with Nelson MindTap

Anatomy & Physiology For Dummies

For Dummies

A Guide to Native Bees of Australia

How Emotions Are Made

The Secret Life of the Brain

This product is categorised by