Higher order abstract data types, Cartesian closure versus lambda-calculus - Poigné, Axel (1983)