Iterated distributive laws (0)

by Eugenia Cheng
Venue:Math. Proc. Cambridge Philos. Soc