Introduction to Higher Order Categorical Logic.
J. L. Bell, Jim Lambek, Philip James Scott · Journal of Symbolic Logic · 1989
Preface Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories Bibliography Author index Subject index.