Categorical Logic and Type Theory

Main
Mathematics
Categorical Logic and Type Theory

Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
ISBN: 9780444508539

Bart Jacobs

0 / 0

0 comments

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

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.

Categories:

Mathematics

Year:

2005

Publisher:

Elsevier

Language:

english

Pages:

760

ISBN 10:

0444508538