Roy L. Crole - Categories for Types Cambridge University Press, 1993. Paperback. Pp: 335. 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. ISBN: 9780521457019. Cond./Kwaliteit: Goed.
EUR 65.00 [Appr.: US$ 75.03 | £UK 56.25 | JP¥ 11113] Book number 3258861
is offered by:
Following conditions of sale apply: Terms of Sale
Betaalmethoden:
MisterCash / Maestro / Mastercard / Visa / iDeal / Paypal
We trade books according the rules of the I.L.A.B. (International League of Antiquarian Booksellers) Books are in very good or better condition unless otherwise described. Prices are net, in euro. Postage is extra. All items remain our property until paid.
Uw retourrecht voorwaarden
Een consument mag de koop van producten zonder opgave van redenen binnen 14 werkdagen na aankoop van het product ontbinden. Indien de consument van deze ontbindingsmogelijkheid gebruik maakt, dient hij dat volgens de op de website van Boekhandel De Slegte beschreven retourprocedure aan Boekhandel De Slegte te melden en het product binnen 14 werkdagen na de datum van ontbinding op zijn kosten aan Boekhandel De Slegte te retourneren. Het door de consument betaalde aankoopbedrag zal binnen 30 dagen na de ontbinding aan de consument worden terugbetaald. Ontbinding is niet mogelijk ten aanzien van producten die beschadigd zijn, zich niet meer in de originele en onbeschadigde verpakking bevinden, gebruikt zijn of voor verkoop ongeschikt geworden zijn.
Boekhandel De Slegte is gerechtigd om geretourneerde producten die niet meer verkeren in de staat waarin deze aan de consument zijn geleverd, dus inclusief originele verpakking te weigeren en om een eventuele waardevermindering en/of retourverzendkosten op het terug te betalen bedrag in mindering te brengen.
Verkoopvoorwaarden
Betaalmethoden:
MisterCash / Maestro / Mastercard / Visa / iDeal / Paypal
We trade books according the rules of the I.L.A.B. (International League of Antiquarian Booksellers) Books are in very good or better condition unless otherwise described. Prices are net, in euro. Postage is extra. All items remain our property until paid.
Uw retourrecht voorwaarden
Een consument mag de koop van producten zonder opgave van redenen binnen 14 werkdagen na aankoop van het product ontbinden. Indien de consument van deze ontbindingsmogelijkheid gebruik maakt, dient hij dat volgens de op de website van Boekhandel De Slegte beschreven retourprocedure aan Boekhandel De Slegte te melden en het product binnen 14 werkdagen na de datum van ontbinding op zijn kosten aan Boekhandel De Slegte te retourneren. Het door de consument betaalde aankoopbedrag zal binnen 30 dagen na de ontbinding aan de consument worden terugbetaald. Ontbinding is niet mogelijk ten aanzien van producten die beschadigd zijn, zich niet meer in de originele en onbeschadigde verpakking bevinden, gebruikt zijn of voor verkoop ongeschikt geworden zijn.
Boekhandel De Slegte is gerechtigd om geretourneerde producten die niet meer verkeren in de staat waarin deze aan de consument zijn geleverd, dus inclusief originele verpakking te weigeren en om een eventuele waardevermindering en/of retourverzendkosten op het terug te betalen bedrag in mindering te brengen.
|
|
Order this book
Ask for information
Back to your search results
|