Categorical Logic and Type Theory

ISBN: 9780444501707 出版年：1999 页码：475 Jacobs, B Elsevier Science_RM

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.