Roberto M. Amadio: Domains and Lambda-Calculi | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

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

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

76,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	504
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
Maße:	229 x 152 x 29 mm
Von/Mit:	Roberto M. Amadio (u. a.)
Erscheinungsdatum:	29.01.2008
Gewicht:	0,81 kg

preigu-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:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	504
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
Maße:	229 x 152 x 29 mm
Von/Mit:	Roberto M. Amadio (u. a.)
Erscheinungsdatum:	29.01.2008
Gewicht:	0,81 kg

preigu-id: 101853839

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783662483961 | Operations Research kompakt | Yvonne Stry (u. a.) | Taschenbuch | 2015

Operations Research kompakt

Eine an Beispielen orientierte Einführung

EAN: 9783662483961

Sprache: Deutsch

Von/Mit: Yvonne Stry (u. a.)

32,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783540096252 | Mathematik für Mediziner und Biologen | Günter Fuchs | Taschenbuch

Mathematik für Mediziner und Biologen

EAN: 9783540096252

Sprache: Deutsch

Von/Mit: G. Fuchs

54,99 €*

Lieferzeit 1-2 Wochen

Broschüre

Cover: 9783127207163 | mathe live. Arbeitsheft mit Lösungsheft 5. Schuljahr. Ausgabe S | 2014

mathe live. Arbeitsheft mit Lösungsheft 5. Schuljahr. Ausgabe S

EAN: 9783127207163

Sprache: Deutsch

Maße: 294 x 210 x 15 mm

10,50 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9789400722460 | Convexity and Optimization in Banach Spaces | Teodor Precupanu (u. a.)

Convexity and Optimization in Banach Spaces

EAN: 9789400722460

Sprache: Englisch

Von/Mit: Teodor Precupanu (u. a.)

110,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9781683921684 | Software Quality Assurance | A Self-Teaching Introduction | Chopra

Software Quality Assurance

A Self-Teaching Introduction

EAN: 9781683921684

Sprache: Englisch

Von/Mit: Rajiv Chopra

43,15 €*

Lieferzeit 4-7 Werktage

Buch

Cover: 9783319941288 | Ambit Stochastics | Ole E Barndorff-Nielsen (u. a.) | Buch | Englisch

Ambit Stochastics

EAN: 9783319941288

Sprache: Englisch

Von/Mit: Ole E. Barndorff-Nielsen (u. a.)

110,95 €*

Lieferzeit 2-3 Wochen

Buch

Cover: 9783540029670 | La geometrie des groupes classiques | Reihe: Gruppentheorie | Buch

La geometrie des groupes classiques

Reihe: Gruppentheorie

EAN: 9783540029670

Sprache: Französisch

Von/Mit: Jean Dieudonne

22,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9781484274095 | Hands-on Matplotlib | Learn Plotting and Visualizations with Python 3

Hands-on Matplotlib

Learn Plotting and Visualizations with Python 3

EAN: 9781484274095

Sprache: Englisch

Von/Mit: Ashwin Pajankar

57,95 €*

Lieferzeit 4-7 Werktage

Buch

Cover: 9783141517644 | Mathematik 8 Basis. Schülerband | Ausgabe 2021 | Buch | 208 S. | 2023

Mathematik 8 Basis. Schulbuch

EAN: 9783141517644

Sprache: Deutsch

Von/Mit: Doreen/Herling, Jochen/Kuhlmann, Karl-Heinz u a Groth

Maße: 261 x 198 x 13 mm

26,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781473913653 | Complete Data Analysis Using R | Marco Lehmann | Taschenbuch | 2022

Complete Data Analysis Using R

Your Applied Manual

EAN: 9781473913653

Sprache: Englisch

Von/Mit: Marco Lehmann

57,65 €*

Lieferzeit 1-2 Wochen

Audio-CD

Cover: 9783803293022 | Mind Gap | Anne Freytag | Audio-CD | Jewelcase | 2 Audio-CDs | Deutsch

Was, wenn dein freier Wille nicht mehr frei ist - du aber nichts davon weißt?

EAN: 9783803293022

Sprache: Deutsch

Laufzeit: 636 Minuten

13,75 €*

Lieferzeit 1-2 Werktage