Skip to main content

Categorical Logic and Type Theory

  • 1st Edition, Volume 141 - May 10, 2001
  • Author: B. Jacobs
  • Language: English
  • Paperback ISBN:
    9 7 8 - 0 - 4 4 4 - 5 3 9 4 2 - 7
  • Paperback ISBN:
    9 7 8 - 0 - 4 4 4 - 5 0 8 5 3 - 9
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 9 2 9 7 8 - 1
  • 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

BACK-TO-SCHOOL

Fuel your confidence!

Up to 25% off learning resources

Elsevier academics book covers
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.

Related books