Gå direkte til innholdet
Categorical Logic and Type Theory
Spar

Categorical Logic and Type Theory

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.
Forfatter
B. Jacobs
ISBN
9780444508539
Språk
Engelsk
Vekt
1200 gram
Utgivelsesdato
10.5.2001
Antall sider
778