Importo totale (1 articolo articoli):
Destinazione ordine:
9780521450928 - Categories for Types di Crole, Roy L. (18 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (18)
- 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 (15)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (18)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (8)
- Non Print on Demand (12)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- 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: 0521450926 ISBN 13: 9780521450928
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 158,41
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 158,40
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 175,05
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Categories for Types (Studies in Emotion and Social Interaction)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 178,74
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: PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 690. . 1994. 1st Edition. hardcover. . . . .
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, GB, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 208,92
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. 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 (Studies in Emotion and Social Interaction)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 228,82
Spedizione EUR 9,22
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: 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.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press CUP, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 356.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, GB, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 197,77
Spedizione EUR 75,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. 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 (Studies in Emotion and Social Interaction)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 262,57
Spedizione EUR 28,97
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 272,10
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: 1 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
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 297,89
Spedizione EUR 2,32
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
ISBN 10: 0521450926 ISBN 13: 9780521450928
EUR 275,22
Spedizione EUR 63,65
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. 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 172,57
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 335 pages. 9.50x6.25x1.00 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: 0521450926 ISBN 13: 9780521450928
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 172,69
Spedizione EUR 20,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Categories for Types (Hardcover)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, Cambridge, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 177,22
Spedizione EUR 42,87
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: new. Hardcover. 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, 2005
ISBN 10: 0521450926 ISBN 13: 9780521450928
EUR 172,31
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: 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. .
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 250,37
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 356 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 247,11
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 356.
