Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Shin-ya Katsumata
Shin-ya Katsumata
Publications
Interaction Laws of Monads and Comonads. Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu. 2019.