Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    Best Books of the Year | December 10, 2014

    Mary Jo Schimelpfenig: IMG Best Fantasy/Sci-Fi of 2014



    Here are the books that knocked my socks off in 2014. All of them would make great gifts; each of them was truly something that evoked that... Continue »

    spacer
Qualifying orders ship free.
$210.75
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Programming and Languages

Cambridge Tracts in Theoretical Computer Science #46: Domains and Lambda-Calculi

by

Cambridge Tracts in Theoretical Computer Science #46: Domains and Lambda-Calculi Cover

 

Synopses & Reviews

Publisher Comments:

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.

Synopsis:

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

Description:

Includes bibliographical references (p. [469]-479) and index.

Table of Contents

Preface; Notation; 1. Continuity and computability; 2. Syntactic theory of thl-calculus; 3. D models and intersection types; 4. Interpretation of l-calculi in CCC’s; 5. CCC’s of algebraic Dcpo’s; 6. The language PCF; 7. Domain equations; 8. Values and computations; 9. Powerdomains; 10. Stone duality; 11. Dependent and second order types; 12. Stability; 13. Towards linear logic; 14. Sequentiality; 15. Domains and realizability; 16. Functions and processes; Appendix A. Memento of recursion theory; Appendix B. Memento of category theory; Bibliography; Index.

Product Details

ISBN:
9780521622776
Editor:
Van Rijsbergen, C. J.
Publisher:
Cambridge University Press
Editor:
Van Rijsbergen, C. J.
Author:
C. J. van Rijsbergen
Author:
Amadio, Roberto M.
Author:
Roberto M., Amadio
Author:
Curien, Pierre-Louis
Author:
Van Rijsbergen, C. J.
Location:
Cambridge, U.K. ;
Subject:
Logic
Subject:
Programming Languages - General
Subject:
Applied
Subject:
Semantics
Subject:
Programming - Software Development
Subject:
Programming languages (electronic computers)
Subject:
Programming languages (Electronic computers) -- Semantics.
Subject:
Lambda calculus.
Subject:
Programming Languages.
Subject:
General Computers
Subject:
Software Engineering - Programming and Languages
Edition Description:
Hardcover
Series:
Cambridge tracts in theoretical computer science ;
Series Volume:
46
Publication Date:
19980731
Binding:
Hardcover
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
85 line diagrams
Pages:
504
Dimensions:
9.50x6.24x1.45 in. 2.07 lbs.

Related Subjects

Computers and Internet » Software Engineering » Programming and Languages
Health and Self-Help » Health and Medicine » Anatomy and Physiology
Humanities » Philosophy » General
Science and Mathematics » Mathematics » Applied
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Cambridge Tracts in Theoretical Computer Science #46: Domains and Lambda-Calculi New Hardcover
0 stars - 0 reviews
$210.75 In Stock
Product details 504 pages Cambridge University Press - English 9780521622776 Reviews:
"Synopsis" by , Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.