Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
EUR 28,60
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Condizione: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: thebookforest.com, San Rafael, CA, U.S.A.
Condizione: New. New.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 84,70
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press CUP, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 356.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Majestic Books, Hounslow, Regno Unito
EUR 83,09
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 356 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 91,38
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 83,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press 1994-01, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Chiron Media, Wallingford, Regno Unito
EUR 82,61
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 86,68
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 356.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 84,40
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: California Books, Miami, FL, U.S.A.
EUR 102,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 100,56
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GoldBooks, Denver, CO, U.S.A.
Condizione: new.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 130,23
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 139,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Mooney's bookstore, Den Helder, Paesi Bassi
EUR 140,37
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 134,52
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Revaluation Books, Exeter, Regno Unito
EUR 86,30
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 335 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 87,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. 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 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 specializing in category theory. 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 plenty of examples for an introduction to category theory. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: CitiRetail, Stevenage, Regno Unito
EUR 92,92
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. 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 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 specializing in category theory. 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 plenty of examples for an introduction to category theory. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Lingua: Inglese
Editore: Cambridge University Press, 2002
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: moluna, Greven, Germania
EUR 90,11
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.Inhaltsverzeichnis1. Order, lattices and domains 2. Basic category theory 3. .
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 129,96
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. 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 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 specializing in category theory. 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 plenty of examples for an introduction to category theory. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Lingua: Inglese
Editore: Cambridge University Press, 2002
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: preigu, Osnabrück, Germania
EUR 112,60
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Categories for Types | Roy L. Crole | Taschenbuch | Kartoniert / Broschiert | Englisch | 2002 | Cambridge University Press | EAN 9780521457019 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.