Tue, 01 Jan 2002 00:00:00 +0100

A monadic approach to polycategories. CTCS 2002: 183-208