Tarmo Uustalu

  1. Title:
    Monad-comonad interaction laws (co)algebraically

    Speaker:

    Link: