Articles liés à Categorical Logic and Type Theory

Categorical Logic and Type Theory - Couverture souple

Jacobs, B.

 
9780444508539: Categorical Logic and Type Theory
Couverture souple
ISBN 10 : 0444508538 ISBN 13 : 9780444508539
Editeur : Elsevier Science Ltd, 2001

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Revue de presse

...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items...
Zentralblatt für Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Elsevier Science Ltd
Date d'édition
2001
Langue
anglais
ISBN 10 
0444508538
ISBN 13 
9780444508539
Reliure
Broché
Nombre de pages
778
Coordonnées du fabricant
ELSEVIER
https://www.elsevier.com/es-es

Mooswaldallee 6
Freiburg
79108
Allemagne