On algebraic specifications of computable algebras with the discriminator technique G. Gagliardi, S. Tulipani (1990) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
On the categorical semantics of elementary linear logic. Laurent, Olivier (2009) Theory and Applications of Categories [electronic only]
On the geometry of intuitionistic S4 proofs. Goubault-Larrecq, Jean, Goubault, Éric (2003) Homology, Homotopy and Applications