Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Elsevier

9780444501707

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preliminaries

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80029-3 ◽

1998 ◽

pp. xi-xvii

Download Full-text

Notation index

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80043-8 ◽

1998 ◽

pp. 735-741

Download Full-text

Chapter 6 The effective topos

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80036-0 ◽

1998 ◽

pp. 373-405

Download Full-text

Chapter 3 Equational logic

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80033-5 ◽

1998 ◽

pp. 169-217

Keyword(s):

Equational Logic

Download Full-text

Chapter 0 Prospectus

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80030-x ◽

1998 ◽

pp. 1-18

Download Full-text

Chapter 7 Internal category theory

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80037-2 ◽

1998 ◽

pp. 407-440

Keyword(s):

Category Theory ◽

Internal Category

Download Full-text

Chapter 9 Advanced fibred category theory

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80039-6 ◽

1998 ◽

pp. 509-579

Keyword(s):

Category Theory ◽

Fibred Category

Download Full-text

Subject index

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80044-x ◽

1998 ◽

pp. 743-760

Download Full-text

Chapter 8 Polymorphic type theory

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80038-4 ◽

1998 ◽

pp. 441-507

Keyword(s):

Type Theory ◽

Polymorphic Type

Download Full-text

Preface

Categorical logic and type theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(98)80028-1 ◽

1998 ◽

pp. v-vi ◽

Cited By ~ 2

Author(s):

Bart Jacobs

Download Full-text