Poigné, A. (1983). Higher order abstract data types, Cartesian closure versus lambda-calculus.
Chicago-Zitierstil (17. Ausg.)Poigné, Axel. Higher Order Abstract Data Types, Cartesian Closure Versus Lambda-calculus. Dortmund, 1983.
MLA-Zitierstil (9. Ausg.)Poigné, Axel. Higher Order Abstract Data Types, Cartesian Closure Versus Lambda-calculus. 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.