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

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

collaborators
Showing 2025Show all

1 paper · 1 filter