APA Zitierstil

Sherratt, D., Heijltjes, W., Gundersen, T., & Parigot, M. (2020). Spinal Atomic Lambda-Calculus. Foundations of Software Science and Computation Structures.

Chicago Zitierstil

Sherratt, David, Willem Heijltjes, Tom Gundersen, und Michel Parigot. "Spinal Atomic Lambda-Calculus." Foundations of Software Science and Computation Structures 2020.

MLA Zitierstil

Sherratt, David, Willem Heijltjes, Tom Gundersen, und Michel Parigot. "Spinal Atomic Lambda-Calculus." Foundations of Software Science and Computation Structures 2020.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.