Roy L. Crole: Categories for Types | preigu

Cover: 9780521457019 | Categories for Types | Roy L. Crole | Taschenbuch | Englisch | 2002

Rückseite: 9780521457019 | Categories for Types | Roy L. Crole | Taschenbuch | Englisch | 2002

Cover: 9780521457019 | Categories for Types | Roy L. Crole | Taschenbuch | Englisch | 2002

Rückseite: 9780521457019 | Categories for Types | Roy L. Crole | Taschenbuch | Englisch | 2002

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

91,90 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

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

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

Inhaltsverzeichnis

1. Order, lattices and domains; 2. Basic category theory; 3. Algebraic type theory; 4. Functional type theory; 5. Polymorphic functional type theory; 6. Higher order polymorphism.

Details

Erscheinungsjahr:	2002
Fachbereich:	Allgemeines
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521457019
ISBN-10:	0521457017
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Crole, Roy L.
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 21 mm
Von/Mit:	Roy L. Crole
Erscheinungsdatum:	23.11.2002
Gewicht:	0,578 kg

Artikel-ID: 101144089

Inhaltsverzeichnis

1. Order, lattices and domains; 2. Basic category theory; 3. Algebraic type theory; 4. Functional type theory; 5. Polymorphic functional type theory; 6. Higher order polymorphism.

Details

Erscheinungsjahr:	2002
Fachbereich:	Allgemeines
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521457019
ISBN-10:	0521457017
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Crole, Roy L.
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 21 mm
Von/Mit:	Roy L. Crole
Erscheinungsdatum:	23.11.2002
Gewicht:	0,578 kg

Artikel-ID: 101144089

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9781425122904 | Logic and Databases | The Roots of Relational Theory | C. J. Date

Logic and Databases

The Roots of Relational Theory

EAN: 9781425122904

Sprache: Englisch

Von/Mit: C. J. Date

40,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch

-8 %

Cover: 9783540570134 | The Development of the Number Field Sieve | Lenstra (u. a.) | Buch

The Development of the Number Field Sieve

EAN: 9783540570134

Sprache: Englisch

Von/Mit: Hendrik W. Jr. Lenstra (u. a.)

39,40 €* UVP 42,79 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783486580006 | Computer-Supported Cooperative Work | Tom Gross (u. a.) | Taschenbuch

Computer-Supported Cooperative Work

EAN: 9783486580006

Sprache: Deutsch

Von/Mit: Tom Gross (u. a.)

64,95 €*

Lieferzeit 2-4 Werktage

Buch

-17 %

Cover: 9780387954103 | Numerical Analysis in Modern Scientific Computing | An Introduction

Numerical Analysis in Modern Scientific Computing

An Introduction

EAN: 9780387954103

Sprache: Englisch

Von/Mit: Andreas Hohmann (u. a.)

89,15 €* UVP 106,99 €

Lieferzeit 1-2 Wochen

Taschenbuch

-2 %

Cover: 9783540343981 | Algèbre | Chapitre 4 à 7 | N. Bourbaki | Taschenbuch | viii | 2006

Chapitre 4 à 7

EAN: 9783540343981

Sprache: Französisch

Von/Mit: N. Bourbaki

67,95 €* UVP 69,54 €

Lieferzeit 4-7 Werktage

Buch

-16 %

Cover: 9783319045634 | Towards the Mathematics of Quantum Field Theory | Frédéric Paugam

Towards the Mathematics of Quantum Field Theory

EAN: 9783319045634

Sprache: Englisch

Von/Mit: Frédéric Paugam

152,95 €* UVP 181,89 €

Lieferzeit 1-2 Wochen

Taschenbuch

-4 %

Cover: 9783519002895 | Analytische Funktionen in der Zahlentheorie | Ekkehard Krätzel | Buch

Analytische Funktionen in der Zahlentheorie

EAN: 9783519002895

Sprache: Deutsch

Von/Mit: Ekkehard Krätzel

38,40 €* UVP 39,99 €

Lieferzeit 2-4 Werktage

Buch

-10 %

Cover: 9783319662114 | The Theory of Nilpotent Groups | Anthony E. Clement (u. a.) | Buch

The Theory of Nilpotent Groups

EAN: 9783319662114

Sprache: Englisch

Von/Mit: Anthony E. Clement (u. a.)

114,95 €* UVP 128,39 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781788471152 | Swift Game Development - Third Edition | Siddharth Shekar (u. a.)

Swift Game Development - Third Edition

EAN: 9781788471152

Sprache: Englisch

Von/Mit: Siddharth Shekar (u. a.)

59,20 €*

Lieferzeit 1-2 Wochen

Buch

-9 %

Cover: 9783030463656 | An Invitation to Unbounded Representations of ¿-Algebras on Hilbert...

An Invitation to Unbounded Representations of ¿-Algebras on Hilbert Space

EAN: 9783030463656

Sprache: Englisch

Von/Mit: Konrad Schmüdgen

63,45 €* UVP 69,54 €

Lieferzeit 1-2 Wochen

Taschenbuch

-5 %

Cover: 9781484289624 | Introduction to Photoshop | An Essential Guide for Absolute Beginners

Introduction to Photoshop

An Essential Guide for Absolute Beginners

EAN: 9781484289624

Sprache: Englisch

Von/Mit: Kevin Wilson

35,40 €* UVP 37,44 €

Lieferzeit 2-4 Werktage

Buch

Cover: 9781420063677 | R Programming for Bioinformatics | Robert Gentleman | Buch | Englisch

R Programming for Bioinformatics

EAN: 9781420063677

Sprache: Englisch

Von/Mit: Robert Gentleman

142,95 €*

Lieferzeit 1-2 Wochen