Domains and Lambda-Calculi

Domains and Lambda-Calculi

by Roberto M. Amadio, Pierre-Louis Curien
     
 

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.See more details below

Overview

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

Product Details

ISBN-13:
9780521062923
Publisher:
Cambridge University Press
Publication date:
05/15/2008
Series:
Cambridge Tracts in Theoretical Computer Science Series, #46
Pages:
504
Product dimensions:
6.00(w) x 9.00(h) x 1.20(d)

Table of Contents

Preface; Notation; 1. Continuity and computability; 2. Syntactic theory of λ-calculus; 3. D∞ models and intersection types; 4. Interpretation of λ-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 1: summary of recursion theory; Appendix 2: summary of category theory; References and bibliography; Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >