Category Theory and Logic

[1]  Robin Milner,et al.  Fully Abstract Models of Typed lambda-Calculi , 1977, Theor. Comput. Sci..

[2]  G. C. Wraith.  Lectures on elementary topoi , 1975 .

[3]  Peter Freyd,et al.  Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.

[4]  R. Seely,et al.  Locally cartesian closed categories and type theory , 1984, Mathematical Proceedings of the Cambridge Philosophical Society.

[5]  F W Lawvere,et al.  AN ELEMENTARY THEORY OF THE CATEGORY OF SETS. , 1964, Proceedings of the National Academy of Sciences of the United States of America.

[6]  P. Martin-Löf.  An Intuitionistic Theory of Types: Predicative Part , 1975 .

[7]  Robert Paré,et al.  Abstract families and the adjoint functor theorems , 1978 .

[8]  F. William Lawvere,et al.  Adjointness in Foundations , 1969 .

[9]  J. Hyland.  The Effective Topos , 1982 .

[10]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[11]  J. Lambek.  From types to sets , 1980 .

[12]  Philip J. Scott,et al.  Intuitionist type theory and foundations , 1981, J. Philos. Log..

[13]  Michael B. Smyth,et al.  Power Domains and Predicate Transformers: A Topological View , 1983, ICALP.

[14]  M. E. Szabo.  Algebra of proofs , 1978 .

[15]  William W. Tait,et al.  Intensional interpretations of functionals of finite type I , 1967, Journal of Symbolic Logic.

[16]  J. Lambek,et al.  Intuitionist type theory and the free topos , 1980 .

[17]  G.D. Plotkin,et al.  LCF Considered as a Programming Language , 1977, Theor. Comput. Sci..

[18]  Robert A. G. Seely,et al.  Hyperdoctrines, Natural Deduction and the Beck Condition , 1983, Math. Log. Q..

[19]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[20]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[21]  Butler W. Lampson,et al.  A Kernel Language for Abstract Data Types and Modules , 1984, Semantics of Data Types.