Polarized category theory, modules, and game semantics. Cockett, J.R.B., Seely, R.A.G. (2007) Theory and Applications of Categories [electronic only]