Promonads and String Diagrams for Effectful CategoriesOpen Website

Mario Román

2022 (modified: 13 Mar 2023)CoRR 2022Readers: Everyone
0 Replies