Vol-2306⫷ Vol-2307 ⫸Vol-2308
urn:nbn:de:0074-2307-0


Vol-2307/WS2_invited_talk⫷Vol-2307/paper11⫸Vol-2307/paper12

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