471851
9780444508539
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.Jacobs, B. is the author of 'Categorical Logic and Type Theory' with ISBN 9780444508539 and ISBN 0444508538.
[read more]