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 $89.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 Computer Science

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

How We Learn

The New Science of Education and the Brain

We Are Not Machines

The Fight for the Future of Work

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Co-Intelligence

Living and Working with AI

Project Maven

A Marine Colonel, His Team, and the Dawn of AI Warfare

Artificial Intelligence in Detecting Autism

A Practical Guide to Integrating Generative AI into HR Management

Knowledge-based Engineering for Innovation

A Practical Guide to Integrating Generative AI into HR Management

Knowledge-based Engineering for Innovation

Artificial Intelligence in Action

Transforming Industries and Society

5G and Beyond Wireless Network, RF and Microwave Devices

Modern Design and Optimization

Distraction Diet

Cut Noise, Keep What Matters: Reduce mental clutter and protect attention every day

Getting Started with Quantum Computing

An introduction to tech and coding transformation, and societal impact

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

Control, Robotics and Sensors

Design, Control and Applications

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

The Injustice of Fairness

Algorithmic Reparation and the Case for Redress

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

AI and Data Science in Medical Research

New Developments and Advances

Navigating the AI Frontier in Business

Balancing Economy, Ecology, and Inclusion

This product is categorised by