Higher order abstract data types, Cartesian closure versus lambda-calculus - Poigné, Axel (Universität <Dortmund> / Abteilung Informatik: Forschungsbericht, 1983)