Categorical Logic and Type Theory


Write The First Customer Review

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.

Categorical Logic and Type Theory 2001, Elsevier Science, Amsterdam, Netherlands

ISBN-13: 9780444508539

Trade paperback