The catgorical theory of self-similarity. Hines, Peter (1999) Theory and Applications of Categories [electronic only]
The Dialectica interpretation of first-order classical affine logic. Shirahata, Masaru (2006) Theory and Applications of Categories [electronic only]
Theorem Provers for Substructural Logics Mirjana Isaković Ilić (2007) Publications de l'Institut Mathématique