Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.
Ik heb een vraag over het boek: ‘Categorical Logic and Type Theory - Jacobs, B. (Computing Science Institute’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
