Categories for Types (Cambridge Mathematical Textbooks) - Softcover

Book 4 of 24: Cambridge Mathematical Textbooks

Crole

9780521457019: Categories for Types (Cambridge Mathematical Textbooks)

Softcover

ISBN 10: 0521457017 ISBN 13: 9780521457019

Publisher: Cambridge University Press, 2008

View all copies of this ISBN edition

9 Used

From � 30.35

19 New

From � 78.13

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

"synopsis" may belong to another edition of this title.

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

Book Description

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.

"About this title" may belong to another edition of this title.

Publisher: Cambridge University Press
Publication date: 2008
Language: English
ISBN 10: 0521457017
ISBN 13: 9780521457019
Binding: Paperback
Number of pages: 356

Search results for Categories for Types (Cambridge Mathematical Textbooks)

Stock Image

Categories for Types

Crole, Roy L.

Published by Cambridge University Press, 1994

ISBN 10: 0521457017 ISBN 13: 9780521457019

Used Softcover

Seller: Better World Books Ltd, Dunfermline, United Kingdom

Seller rating 5 out of 5 stars

Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 39740987-6

Contact seller

Buy Used

� 30.35

� 5 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Categories for Types (Cambridge Mathematical Textbooks)

Crole

Published by Cambridge University Press, 2008

ISBN 10: 0521457017 ISBN 13: 9780521457019

Used paperback

Seller: Sell Books, Elland, YORKS, United Kingdom

Seller rating 5 out of 5 stars

paperback. Condition: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only. Seller Inventory # SBAB-mon0000115641

Contact seller

Buy Used

� 45.27

� 7.76 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Categories for Types (Cambridge Mathematical Textbooks)

Crole

Published by Cambridge University Press, 1994

ISBN 10: 0521457017 ISBN 13: 9780521457019

Used Paperback

Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom

Seller rating 5 out of 5 stars

Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR008848917

Contact seller

Buy Used

� 48.52

� 5.60 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Categories for Types.

CROLE, Roy L.

Published by Cambridge University Press, 2002

ISBN 10: 0521457017 ISBN 13: 9780521457019

Used Softcover

Seller: Antiquariat Renner OHG, Albstadt, Germany

Seller rating 5 out of 5 stars

Softcover. Condition: Gut. Reprint of the ed. 1993. Cambridge UP (2002). XVII, 335 p. Pbck. (slightly bumped).- Half title slightly stained, 3 pages with wrinkled margin, otherwise in good condition. Seller Inventory # 96471

Contact seller

Buy Used

� 21.75

� 38.02 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Categories for Types (Cambridge Mathematical Textbooks)

Crole

Published by Cambridge University Press, 1994

ISBN 10: 0521457017 ISBN 13: 9780521457019

Used Softcover

Seller: medimops, Berlin, Germany

Seller rating 5 out of 5 stars

Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollst�ndigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M00521457017-G

Contact seller