View in EDS HTML Full Text PDF Full Text

Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq.

Saved in:
Bibliographic Details
Title: Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq.
Authors: Ekici, Burak1 (AUTHOR) b.ekici@iku.edu.tr, Kaliszyk, Cezary2 (AUTHOR)
Source: Mathematics in Computer Science. Sep2020, Vol. 14 Issue 3, p533-549. 17p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:16618270
DOI:10.1007/s11786-020-00450-8