CATEGORICAL COMBINATORS WITH EXPLICIT PRODUCTS
György E. Révész · Fundamenta Informaticae · 1995
Categorical Combinators arose from the intertranslation between lambda-calculus and Cartesian Closed Categories. Their theory is fairly similar to classical Combinatory Logic, and they also have been used for the design of the so called Categorical A