Skip to main content

Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.

Save up to 30% on print and eBooks.

Categorical Logic and Type Theory

  • 1st Edition, Volume 141 - January 14, 1999
  • Author: B. Jacobs
  • Language: English
  • Paperback ISBN:
    9 7 8 - 0 - 4 4 4 - 5 0 8 5 3 - 9
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 5 2 8 7 0 - 0

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… Read more

Categorical Logic and Type Theory

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Institutional subscription on ScienceDirect

Request a sales quote
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.