The category of finite sets and Cartesian closed categories

Deductive systems and categories

Joachim Lambek · Theory of Computing Systems · 1968 · 254 citations

Humanities, Philosophy, Knowledge Representation +11

Topology and logic as a source of algebra

Saunders Mac Lane · Bulletin of the American Mathematical Society · 1976 · 34 citations · Full text

Natural Sciences, Mathematics, Algebra +5

The Connection between Equivalence of Proofs and Cartesian Closed Categories

C. R. Mann · Proceedings of the London Mathematical Society · 1975 · 26 citations

Natural Sciences, Mathematics, Formal Methods +9

A categorical equivalence of proofs.

Manfred E. Szabo · Notre Dame Journal of Formal Logic · 1974 · 17 citations · Full text

Computing, Computer Science, Mathematics +11