Ekici, B. And Kaliszyk, C. 2020. Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq. MATHEMATICS IN COMPUTER SCIENCE , vol.14, no.3 , 533-549.

Ekici, B., & Kaliszyk, C., (2020). Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq. MATHEMATICS IN COMPUTER SCIENCE , vol.14, no.3, 533-549.

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, 533-549, 2020

Ekici, Burak And Kaliszyk, Cezary. "Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq." MATHEMATICS IN COMPUTER SCIENCE , vol.14, no.3, pp.533-549, 2020

Ekici, B. And Kaliszyk, C. (2020) . "Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq." MATHEMATICS IN COMPUTER SCIENCE , vol.14, no.3, pp.533-549.

@article{article, author={Burak Ekici And author={Cezary Kaliszyk}, title={Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq}, journal={MATHEMATICS IN COMPUTER SCIENCE}, year=2020, pages={533-549} }