Da
Wonder Book, Frederick, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Heritage Bookseller
Membro AbeBooks dal 1996
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
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
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
Titolo: Categories for Types (Cambridge Mathematical...
Casa editrice: Cambridge University Press
Data di pubblicazione: 1994
Legatura: Brossura
Condizione: Very Good
Da: HPB-Red, Dallas, TX, U.S.A.
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! Codice articolo S_461339835
Quantità: 1 disponibili
Da: thebookforest.com, San Rafael, CA, U.S.A.
Condizione: New. New. Codice articolo BAYX-00410
Quantità: 1 disponibili
Da: Chiron Media, Wallingford, Regno Unito
PF. Condizione: New. Codice articolo 6666-IUK-9780521457019
Quantità: 10 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 697562-n
Quantità: Più di 20 disponibili
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Condizione: New. Codice articolo 697562-n
Quantità: Più di 20 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9780521457019_new
Quantità: Più di 20 disponibili
Da: Majestic Books, Hounslow, Regno Unito
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
Quantità: 1 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 356. Codice articolo 26234846
Quantità: 1 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 335 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand. Codice articolo __0521457017
Quantità: 1 disponibili
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521457019
Quantità: Più di 20 disponibili