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