cl-banner

Towards Mac Lane’s Comparison Theorem for the (co)Kleisli Construction in Coq

Burak Ekici

4th Workshop on Formal Mathematics for Mathematicians, CEUR Workshop Proceedings, pp. 1 – 5, 2018.

Abstract

This short paper summarizes an ongoing work on the formalization of Mac Lane’s comparison theorem for the (co)Kleisli construction in the Coq proof assistant.

 

  PDF     © Creative Commons CC0

BibTeX 

@inproceedings{BE-FMM18,
author = "Burak Ekici",
title = "Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq",
booktitle = "Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops,
Doctoral Program and Work in Progress at the Conference on Intelligent Computer
Mathematics 2018 co-located with the 11th Conference on Intelligent
Computer Mathematics (CICM 2018)",
editor = "Osman Hasan",
pages = "1--5",
year = "2018",
url = "https://www.cicm-conference.org/2018/infproc/paper11.pdf"
}
Nach oben scrollen