Categorical Logic and Type Theory - Softcover

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.