APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Poigné, Axel. Higher Order Abstract Data Types, Cartesian Closure Versus Lambda-calculus. Dortmund, 1983.

MLA (9th ed.) Citation

Poigné, Axel. Higher Order Abstract Data Types, Cartesian Closure Versus Lambda-calculus. 1983.

Warning: These citations may not always be 100% accurate.