Categorical Logic and Type Theory
Price for Eshop: 4224 Kč (€ 169.0)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.