Partial conservativity revisited Petr Hájek (1987) Commentationes Mathematicae Universitatis Carolinae
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]
Příspěvek k theorii determinantů František Josef Studnička (1873) Časopis pro pěstování mathematiky a fysiky
Products in the category of apartness spaces Douglas Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîţă (2005) Cahiers de Topologie et Géométrie Différentielle Catégoriques
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]
Provability in the alternative set theory Michal Resl, Antonín Sochor (1981) Commentationes Mathematicae Universitatis Carolinae