On Semantics of a Term Calculus for Classical Logic Silvia Likavec, Pierre Lescanne (2012) Publications de l'Institut Mathématique
On the geometry of intuitionistic S4 proofs. Goubault-Larrecq, Jean, Goubault, Éric (2003) Homology, Homotopy and Applications