Importo totale (1 articolo articoli):
Destinazione ordine:
9780521457019 - Categories for Types di Crole (27 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (27)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (19)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (27)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (8)
- Non Print on Demand (21)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 35,86
Spedizione EUR 5,80
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
Categories for Types.
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 2002
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Antiquariat Renner OHG, Albstadt, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
EUR 25,00
Spedizione EUR 45,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,70
Spedizione EUR 6,49
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 89,39
Spedizione EUR 2,33
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Paperback. Condizione: new. New Copy. Customer Service Guaranteed.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: thebookforest.com, San Rafael, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. New.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 97,15
Spedizione EUR 2,33
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press 1994-01, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 83,33
Spedizione EUR 17,96
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 86,30
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 90,03
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 97,78
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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: PBCD; PBF; PBK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 520. . 2008. paperback. . . . .
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, GB, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 113,76
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 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 specialising in category theory.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 98,82
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press CUP, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 356.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 125,01
Spedizione EUR 9,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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: PBCD; PBF; PBK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 520. . 2008. paperback. . . . . Books ship from the US and Ireland.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 140,37
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 131,37
Spedizione EUR 28,99
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, GB, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 106,70
Spedizione EUR 75,36
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 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 specialising in category theory.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
EUR 141,31
Spedizione EUR 62,89
Spedito da Germania a U.S.A.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. 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 specialising in category theory.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 91,00
Spedizione EUR 14,49
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 335 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 92,37
Spedizione EUR 18,84
Spedito da Regno Unito a U.S.A.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.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 128,16
Spedizione EUR 7,54
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 356 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 126,70
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 356.
-
Categories for Types (Paperback)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, Cambridge, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 97,31
Spedizione EUR 42,90
Spedito da Regno Unito a U.S.A.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.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 2002
ISBN 10: 0521457017 ISBN 13: 9780521457019
EUR 93,90
Spedizione EUR 48,99
Spedito da Germania a U.S.A.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. .
