Roy L. Crole: Categories for Types

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

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

98,80 €*

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.

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:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
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:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
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