Categorical logic and type theory /

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.

Bibliographic Details

Main Author:	Jacobs, Bart
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; New York : Elsevier Science, ©1999.
Edition:	1st ed.
Series:	Studies in logic and the foundations of mathematics ; v. 141.
Subjects:	Type theory. Categories (Mathematics) Théorie des types. Catégories (Mathématiques) Type theory Typentheorie. Wiskundige logica. Electronic books.
Online Access:	Connect to the full text of this electronic book