Categorical logic and type theory

Title:

Author:

Jacobs, Bart.

ISBN:

9780444501707

Personal Author:

Jacobs, Bart.

Edition:

1st ed.

Publication Information:

Amsterdam ; New York : Elsevier Science, c1999.

Physical Description:

xviii, 760 p. : ill. ; 23 cm.

Series:

Studies in logic and the foundations of mathematics ; v. 141

Series Title:

Studies in logic and the foundations of mathematics ; v. 141

Contents:

Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

Abstract:

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.

Subject Term:

Type theory.

Categories (Mathematics)

Types, Thâeorie des.

Catâegories (Mathâematiques)

Typentheorie.

Wiskundige logica.

Genre:

Electronic books.

Added Corporate Author:

ScienceDirect (Online service)

Electronic Access:

ScienceDirect An electronic book accessible through the World Wide Web; click for information

Holds: Copies:

Available:*

Bound With These Titles

On Order