Polarized category theory, modules, and game semantics. Cockett, J.R.B., Seely, R.A.G. (2007) Theory and Applications of Categories [electronic only]
Predicative algebraic set theory. Awodey, Steve, Warren, Michael A. (2005) Theory and Applications of Categories [electronic only]
Preface to the special volume: “Chu spaces: theory and applications". de Paiva, Valeria (ed.), Pratt, Vaughan (ed.) (2006) Theory and Applications of Categories [electronic only]
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Cockett, J.R.B., Seely, R.A.G. (1997) Theory and Applications of Categories [electronic only]