APA (7th ed.) Citation

Ekici, B., & Kaliszyk, C. (2020). Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq. Mathematics in Computer Science, 14(3), 533. https://doi.org/10.1007/s11786-020-00450-8

Chicago Style (17th ed.) Citation

Ekici, Burak, and Cezary Kaliszyk. "Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq." Mathematics in Computer Science 14, no. 3 (2020): 533. https://doi.org/10.1007/s11786-020-00450-8.

MLA (9th ed.) Citation

Ekici, Burak, and Cezary Kaliszyk. "Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq." Mathematics in Computer Science, vol. 14, no. 3, 2020, p. 533, https://doi.org/10.1007/s11786-020-00450-8.