Secure CheckoutPersonal information is secured with SSL technology.
Free ShippingFree global shipping
No minimum order.
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
- No. of pages:
- © Elsevier Science 1998
- 14th January 1999
- Elsevier Science
- Paperback ISBN:
- eBook ISBN:
- eBook ISBN:
@qu:...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items... @source:Zentralblatt für Mathematik, vol.905 @from:R.A.G. Seely @qu:This book will be the standard reference in its field for some time to come. @source:The Bulletin of Symbolic Logic, Vol. 6
Computing Science Institute, University of Nijmegen, The Netherlands
Elsevier.com visitor survey
We are always looking for ways to improve customer experience on Elsevier.com.
We would like to ask you for a moment of your time to fill in a short questionnaire, at the end of your visit.
If you decide to participate, a new browser tab will open so you can complete the survey after you have completed your visit to this website.
Thanks in advance for your time.