Gå direkt till innehållet
Categorical Logic and Type Theory
Spara

Categorical Logic and Type Theory

Lägsta pris på PriceRunner
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.
Författare
B. Jacobs
ISBN
9780444508539
Språk
Engelska
Vikt
1200 gram
Utgivningsdatum
2001-05-10
Sidor
778