Cartesian closed categories and Lambda-calculus (1985)

by G Huet
Venue:Proc. of the LITP Spring School on Combinators and Functional Programming Languages, Val d'Ajol