Categories for Types
By (author) Roy L. Crole
Normal Price: $250.00
Your Price: $225.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $25.00! (10% off normal price)
Plus...earn $11.25 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Categories for Types by Roy L. Crole
Book DescriptionThis 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.
Buy Categories for Types book by Roy L. Crole from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521450928
(234mm x 156mm x 24mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 27-Jan-1994
Country of Publication: United Kingdom
Books By Author Roy L. Crole
Categories for Types, Paperback (January 1994)» View all books by Roy L. Crole
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
» Have you read this book? We'd like to know what you think about it - write a review about Categories for Types book by Roy L. Crole and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2017. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.