Categories for Types
Crole Roy L.
ISBN 10: 0521457017 ISBN 13: 9780521457019
Published by Cambridge University Press, 1994
New
Soft cover
From
Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
AbeBooks Seller since 10 September 2024
This specific item is no longer available.
About this Item
Description:
pp. 356. Seller Inventory # 18234836
Synopsis:
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Review: "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
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Categories for Types
Publisher: Cambridge University Press
Publication Date: 1994
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Categories for Types (Cambridge Mathematical Textbooks)
Published by
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
Used
Paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: 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! Seller Inventory # S_461339835
Stock Image
Categories for Types (Cambridge Mathematical Textbooks)
Published by
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
Used
Softcover
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # V12B-04173
Stock Image
Categories for Types
Published by
Cambridge University Press 1994-01, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
New
PF
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9780521457019
Buy New
£ 69.78
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Categories for Types
Published by
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 697562-n
Buy New
£ 70.30
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Categories for Types (Cambridge Mathematical Textbooks)
Published by
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521457019_new
Buy New
£ 70.31
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Categories for Types (Cambridge Mathematical Textbooks)
Published by
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
New
Softcover
Seller: thebookforest.com, San Rafael, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. New. Seller Inventory # BAYX-00410
Stock Image
Categories for Types
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 335 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521457017
Buy New
£ 72.89
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Categories for Types
Published by
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 697562-n
Stock Image
Categories for Types
Published by
Cambridge University Press, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521457019
Buy New
£ 73.95
£ 16.25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Categories for Types (Paperback)
Published by
Cambridge University Press, Cambridge, 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # 9780521457019
Buy New
£ 78.49
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available