Polycategories via pseudo-distributive laws

by Richard Garner
Citations:7 - 1 self