Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Domains and Lambda-Calculi
Taschenbuch von Roberto M. Amadio (u. a.)
Sprache: Englisch

82,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2008
Fachbereich: Programmiersprachen
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521062923
ISBN-10: 0521062926
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Amadio, Roberto M.
Curien, Pierre-Louis
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 229 x 152 x 29 mm
Von/Mit: Roberto M. Amadio (u. a.)
Erscheinungsdatum: 29.01.2008
Gewicht: 0,81 kg
Artikel-ID: 101853839
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2008
Fachbereich: Programmiersprachen
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521062923
ISBN-10: 0521062926
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Amadio, Roberto M.
Curien, Pierre-Louis
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 229 x 152 x 29 mm
Von/Mit: Roberto M. Amadio (u. a.)
Erscheinungsdatum: 29.01.2008
Gewicht: 0,81 kg
Artikel-ID: 101853839
Sicherheitshinweis