Crole roy l (8 Ergebnisse)
Sprache: Englisch
Verlag: Cambridge University Press 1994
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Softcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes KönigreichBetter World Books Ltd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 39,37
EUR 5,78 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Sprache: Englisch
Verlag: Cambridge University Press 2002
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Softcover
Anbieter: Antiquariat Renner OHG, Albstadt, , DeutschlandAntiquariat Renner OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 25,00
EUR 45,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Gut. Reprint of the ed. 1993. Cambridge UP (2002). XVII, 335 p. Pbck. (slightly bumped).- Half title slightly stained, 3 pages with wrinkled margin, otherwise in good condition.
Sprache: Englisch
Verlag: Cambridge University Press 1994
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 89,75
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press 1994
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Softcover
Anbieter: Mooney's bookstore, Den Helder, NiederlandeMooney's bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 140,37
EUR 14,95 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Zustand: Very good.
Sprache: Englisch
Verlag: Cambridge University Press 1994
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 158,02
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press 1994
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 141,31
EUR 62,89 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provide…s plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.
Sprache: Englisch
Verlag: Cambridge University Press 1994
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 226,53
EUR 9,13 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. Num Pages: 356 pages, several line drawings. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 690. .… 1994. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press 1994
Serie: Cambridge Mathematical Textbooks, Buch 4 von 23. Buch 4 von 23 - Cambridge Mathematical Textbooks
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 194,62
EUR 63,65 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plent…y of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.
