Monadic approach to polycategories

Publicités