activity
20182025
most citedCombining Weak Distributive Laws: Application to Up-To Techniques

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter