Roberto M. Amadio, Pierre-Louis Curien

Domains and Lambda-Calculi

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 504
• Erscheinungstermin: 29. Januar 2008
• Englisch
• Abmessung: 229mm x 152mm x 29mm
• Gewicht: 810g
• ISBN-13: 9780521062923
• ISBN-10: 0521062926
• Artikelnr.: 23509256

Inhaltsangabe

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.