Categorical logic and type theory
著者
書誌事項
Categorical logic and type theory
（Studies in logic and the foundations of mathematics, v. 141）
Elsevier Science, 2001, c1999
- : hbk
- : pbk
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 717-733
Includes indexes
Size of pbk: 23 cm
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より
