Joachim Lambek. Cartesian Closed Categories and Typed Lambda- calculi. In Guy Cousineau, Pierre-Louis Curien, Bernard Robinet, editors, Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d Ajol, France, May 6-10, 1985, Proceedings. Volume 242 of Lecture Notes in Computer Science, pages 136-175, Springer, 1985.
Abstract is missing.