Alle Kategorien
Bücher
Bestseller Hardcover
Bestseller Taschenbuch
Bestseller Autor
Persönlichkeitsentwicklung
Mangas
Finanzbücher
Selbstfindung
Essen & Trinken
Englischsprachige Bücher
Märchen & Sagen
Krimis & Thriller
Neuerscheinungen
Ratgeber
Motivationsbücher
WAS IST WAS
Wieso? Weshalb? Warum?
BookTok
Schule & Lernen
Schulbücher bestellen
Berufsschulbücher
Neuerscheinungen
Kreativität & Do it yourself
Gesellschaftsspiele
Bestseller
Brettspiele
Geschicklichkeitsspiele
EXIT - Das Spiel
Neuerscheinungen
Kalender
Adventskalender
Notizkalender
Tageskalender
Wochenkalender
Monatskalender
Motivkalender
Hörbücher
Neuerscheinungen
Themenwelt
Puzzlespiele
Halloween
Adventskalender
Winterwonderland
Autor des Monats
Asterix
Valentinstag
Frühlingserwachen
Warrior Cats
Black Dagger
Fast & Furious
Robert Hunter
Midnight Breed
Harry Potter
David Hunter
Herr der Ringe
Ostern
Tonies
tiptoi
0,00 €*
Cover: 9780521766142 | Lambda Calculus with Types | Henk Barendregt (u. a.) | Buch | Englisch
Rückseite: 9780521766142 | Lambda Calculus with Types | Henk Barendregt (u. a.) | Buch | Englisch
Cover: 9780521766142 | Lambda Calculus with Types | Henk Barendregt (u. a.) | Buch | Englisch
Rückseite: 9780521766142 | Lambda Calculus with Types | Henk Barendregt (u. a.) | Buch | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Lambda Calculus with Types
Buch von Henk Barendregt (u. a.)
Sprache: Englisch

113,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Über den Autor
Henk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands.
Inhaltsverzeichnis
List of contributors; Preface; Introduction; Part I. Simple Types: 1. The simply typed lambda calculus; 2. Properties; 3. Tools; 4. Definability, unification and matching; 5. Extensions; 6. Applications; Part II. Recursive Types: 7. The systems; 8. Properties of recursive types; 9. Properties of terms with types; 10. Models; 11. Applications; Part III. Intersection Types: 12. An exemplary system; 13. Type assignment systems; 14. Basic properties; 15. Type and lambda structures; 16. Filter models; 17. Advanced properties and applications; Bibliography; Symbol index; Names index; Definitions index.
Details
Erscheinungsjahr: 2014
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521766142
ISBN-10: 0521766141
Sprache: Englisch
Einband: Gebunden
Autor: Barendregt, Henk
Dekkers, Wil
Statman, Richard
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 250 x 175 x 50 mm
Von/Mit: Henk Barendregt (u. a.)
Erscheinungsdatum: 11.06.2014
Gewicht: 1,627 kg
Artikel-ID: 107084489
Über den Autor
Henk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands.
Inhaltsverzeichnis
List of contributors; Preface; Introduction; Part I. Simple Types: 1. The simply typed lambda calculus; 2. Properties; 3. Tools; 4. Definability, unification and matching; 5. Extensions; 6. Applications; Part II. Recursive Types: 7. The systems; 8. Properties of recursive types; 9. Properties of terms with types; 10. Models; 11. Applications; Part III. Intersection Types: 12. An exemplary system; 13. Type assignment systems; 14. Basic properties; 15. Type and lambda structures; 16. Filter models; 17. Advanced properties and applications; Bibliography; Symbol index; Names index; Definitions index.
Details
Erscheinungsjahr: 2014
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521766142
ISBN-10: 0521766141
Sprache: Englisch
Einband: Gebunden
Autor: Barendregt, Henk
Dekkers, Wil
Statman, Richard
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 250 x 175 x 50 mm
Von/Mit: Henk Barendregt (u. a.)
Erscheinungsdatum: 11.06.2014
Gewicht: 1,627 kg
Artikel-ID: 107084489
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
-9 %
Cover: 9783540152934 | Lie Groups | Johan A. C. Kolk (u. a.) | Taschenbuch | viii | Englisch
Lie Groups
EAN: 9783540152934
Sprache: Englisch
Von/Mit: Johan A. C. Kolk (u. a.)

63,10 €* UVP 69,54 €

Lieferzeit 2-4 Werktage

Taschenbuch
-14 %
Cover: 9788132234982 | Basic Modern Algebra with Applications | Avishek Adhikari (u. a.)
Basic Modern Algebra with Applications
EAN: 9788132234982
Sprache: Englisch
Von/Mit: Avishek Adhikari (u. a.)

59,60 €* UVP 69,54 €

Lieferzeit 2-4 Werktage

Buch
Cover: 9780471556046 | Functional Analysis | Peter D Lax | Buch | 608 S. | Englisch | 2002
Functional Analysis
EAN: 9780471556046
Sprache: Englisch
Von/Mit: Peter D Lax

134,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9781107010741 | Astrophysics Through Computation | With Mathematica(r) Support | Buch
Astrophysics Through Computation
With Mathematica(r) Support
EAN: 9781107010741
Sprache: Englisch
Von/Mit: Brian Koberlein (u. a.)

95,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783642377211 | Das Undenkbare denken | Klaus Volkert | Taschenbuch | Paperback | ix
Das Undenkbare denken
Die Rezeption der nichteuklidischen Geometrie im deutschsprachigen Raum (1860-1900)
EAN: 9783642377211
Sprache: Deutsch
Von/Mit: Klaus Volkert

64,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781107630123 | Theory of Differential Equations | Ordinary Equations, Not Linear
Theory of Differential Equations
Ordinary Equations, Not Linear
EAN: 9781107630123
Sprache: Englisch
Von/Mit: Andrew Russell Forsyth

57,30 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783111056852 | Integralrechnung der Funktionen mehrerer Veränderlicher | Buch | 1983
Integralrechnung der Funktionen mehrerer Veränderlicher
EAN: 9783111056852
Sprache: Deutsch
Von/Mit: Otto Haupt (u. a.)

109,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780435519162 | Edexcel as and a Level Modular Mathematics Mechanics 1 M1 | Buch
Edexcel as and a Level Modular Mathematics Mechanics 1 M1
EAN: 9780435519162
Sprache: Englisch
Von/Mit: Susan Hooker (u. a.)

48,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367781477 | R Programming and Its Applications in Financial Mathematics | Buch
R Programming and Its Applications in Financial Mathematics
EAN: 9780367781477
Sprache: Englisch
Von/Mit: Shuichi Ohsaki (u. a.)

56,80 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783031605741 | Computation and Simulation for Finance | An Introduction with Python
Computation and Simulation for Finance
An Introduction with Python
EAN: 9783031605741
Sprache: Englisch
Von/Mit: Cónall Kelly

73,75 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780691171685 | Elements of Mathematics | From Euclid to Gödel | John Stillwell | Buch
Elements of Mathematics – From Euclid to Gödel
EAN: 9780691171685
Sprache: Englisch
Von/Mit: John Stillwell

49,15 €*

Lieferzeit 2-3 Wochen

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