Zur Startseite gehen
0,00 €*
Cover: 9780521062923 | Domains and Lambda-Calculi | Roberto M. Amadio (u. a.) | Taschenbuch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Domains and Lambda-Calculi
Taschenbuch von Roberto M. Amadio (u. a.)
Sprache: Englisch

75,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

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: 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: 9781848001909 | Principles of Digital Image Processing | Fundamental Techniques | Buch
Principles of Digital Image Processing
Fundamental Techniques
EAN: 9781848001909
Sprache: Englisch
Von/Mit: Mark J. Burge (u. a.)

39,65 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783528252656 | Neuro-Fuzzy-Systeme | Detlef Nauck (u. a.) | Taschenbuch | VIII | 2003
Neuro-Fuzzy-Systeme
Von den Grundlagen künstlicher Neuronaler Netze zur Kopplung mit Fuzzy-Systemen
EAN: 9783528252656
Sprache: Deutsch
Von/Mit: Detlef Nauck (u. a.)

39,99 €*

Aktuell nicht verfügbar

DVD
Cover: 9783834333926 | Grundlagen der technischen Mathematik | DVD | 96 MB | Deutsch | 2016
Grundlagen der technischen Mathematik
Version 3.0, CD-ROM für Windows Vista/7/8/10, BFE-Lernprogramm
EAN: 9783834333926
Sprache: Deutsch
Maße: 190 x 135 x 15 mm
Genre: Mathematik

27,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783211817827 | Computersysteme ¿ Aufbau und Funktionsweise | H. Schauer | Taschenbuch
Computersysteme ¿ Aufbau und Funktionsweise
EAN: 9783211817827
Sprache: Deutsch
Von/Mit: H. Schauer

54,99 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9780521474238 | Automorphic Representations and L-Functions for the General Linear...
Automorphic Representations and L-Functions for the General Linear Group, Volume I
EAN: 9780521474238
Sprache: Englisch
Von/Mit: Dorian Goldfeld (u. a.)

134,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783319640204 | Concise Guide to Formal Methods | Gerard O'Regan | Taschenbuch | 2017
Concise Guide to Formal Methods
Theory, Fundamentals and Industry Applications
EAN: 9783319640204
Sprache: Englisch
Von/Mit: Gerard O'Regan

56,80 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781788296298 | Java Programming for Beginners | Mark Lassoff's | Taschenbuch | 2017
Java Programming for Beginners
Learn the fundamentals of programming with Java
EAN: 9781788296298
Sprache: Englisch
Von/Mit: Mark Lassoff's

46,45 €*

Lieferzeit 4-7 Werktage

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

23,60 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781292279985 | Maths Progress Purposeful Practice Book 2 Second Edition | Taschenbuch
Maths Progress Purposeful Practice Book 2 Second Edition
EAN: 9781292279985
Sprache: Englisch
Von/Mit: Katherine Pate (u. a.)
Maße: 265 x 200 x 10 mm

15,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781789138740 | Developer, Advocate! | Geertjan Wielenga | Taschenbuch | Paperback
Developer, Advocate!
EAN: 9781789138740
Sprache: Englisch
Von/Mit: Geertjan Wielenga

53,30 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781009098168 | Computational Topology for Data Analysis | Yusu Wang | Buch | Englisch
Computational Topology for Data Analysis
EAN: 9781009098168
Sprache: Englisch
Von/Mit: Tamal Krishna Dey (u. a.)

70,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781138600799 | Basketball Data Science | With Applications in R | Zuccolotto (u. a.)
Basketball Data Science
With Applications in R
EAN: 9781138600799
Sprache: Englisch
Von/Mit: Marica Manisera (u. a.)

69,95 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...