Roberto M. Amadio: Domains and Lambda-Calculi

Cover: 9780521062923 | Domains and Lambda-Calculi | Roberto M. Amadio (u. a.) | Taschenbuch

Rückseite: 9780521062923 | Domains and Lambda-Calculi | Roberto M. Amadio (u. a.) | Taschenbuch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

83,10 €

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.

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
Einband:	Kartoniert / Broschiert
Autor:	Amadio, Roberto M. Curien, Pierre-Louis
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	229 x 152 x 29 mm
Von/Mit:	Roberto M. Amadio (u. a.)
Erscheinungsdatum:	29.01.2008
Gewicht:	0,81 kg