@article{HHA_2003_5_2_a7,
     author = {\'Eric Goubault and Jean Goubault-Larrecq},
     title = {On the geometry of intuitionistic {S4} proofs},
     journal = {Homology, homotopy, and applications},
     pages = {137--209},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {2003},
     doi = {10.4310/HHA.2003.v5.n2.a6},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a6/}
}