Catégorie de recherche
Problème de recherche ?

Categorical Logic and Type Theory

Auteur: Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Editeur: Elsevier Science & Technology
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.
Sur commande
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.
ISBN / EAN 9780444508539
Auteur Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Editeur Elsevier Science & Technology