APA-Zitierstil (7. Ausg.)

Blanchette, J. C., Gheri, L., Popescu, A., & Traytel, D. (2019). Bindings as bounded natural functors. Proceedings of ACM on programming languages, 3(POPL), 1-34. https://doi.org/10.1145/3290335

Chicago-Zitierstil (17. Ausg.)

Blanchette, Jasmin Christian, Lorenzo Gheri, Andrei Popescu, und Dmitriy Traytel. "Bindings as Bounded Natural Functors." Proceedings of ACM on Programming Languages 3, no. POPL (2019): 1-34. https://doi.org/10.1145/3290335.

MLA-Zitierstil (9. Ausg.)

Blanchette, Jasmin Christian, et al. "Bindings as Bounded Natural Functors." Proceedings of ACM on Programming Languages, vol. 3, no. POPL, 2019, pp. 1-34, https://doi.org/10.1145/3290335.