Sinossi
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"A well-organized introduction to categorical methods of lambda calculus...The individual topics are treated in a uniform, balanced style from introduction, syntax, to categorical models and categorical-type theory correspondence." Jiri Adamek, Mathematical Reviews
Descrizione del libro
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. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Categories for Types
Foto dell'editore
Categories for Types (Cambridge Mathematical Textbooks)
Editore:
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
Antico o usato
Brossura
Da: Wonder Book, Frederick, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
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. Codice articolo V12B-04173
Compra usato
EUR 28,70
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Categories for Types (Cambridge Mathematical Textbooks)
Editore:
Cambridge University Press, United Kingdom, Cambridge, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. 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. 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. Codice articolo GOR007715614
Compra usato
EUR 52,26
EUR 6,47 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Categories for Types (Cambridge Mathematical Textbooks)
Editore:
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
Antico o usato
paperback
Da: YESIBOOKSTORE, MIAMI, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: As New. This item is printed on demand. Codice articolo 0521457017-VB
Compra usato
EUR 77,17
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Categories for Types
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 697562-n
Compra nuovo
EUR 79,80
EUR 2,25 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Categories for Types (Cambridge Mathematical Textbooks)
Da: GoldBooks, Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 11D97_37_0521457017
Compra nuovo
EUR 78,43
EUR 3,63 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Categories for Types (Cambridge Mathematical Textbooks)
Da: thebookforest.com, San Rafael, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. New. Codice articolo BAYX-00410
Compra nuovo
EUR 78,96
EUR 3,41 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Categories for Types
Editore:
Cambridge University Press CUP, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 356. Codice articolo 26234846
Compra nuovo
EUR 87,10
EUR 3,41 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Categories for Types
Editore:
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 697562
Compra usato
EUR 91,75
EUR 2,25 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Categories for Types
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 356 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Codice articolo 7613057
Compra nuovo
EUR 87,12
EUR 7,51 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Categories for Types (Cambridge Mathematical Textbooks)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521457019_new
Compra nuovo
EUR 83,66
EUR 13,84 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili