A categorical account of composition methods in logic.

Tomas Jakl, Dan Marsden, Nihil Shah

Browse the full LICS paper archive.