TY  - JOUR
AU  - Éric Goubault
AU  - Jean Goubault-Larrecq
TI  - On the geometry of intuitionistic S4 proofs
JO  - Homology, homotopy, and applications
PY  - 2003
SP  - 137
EP  - 209
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a6/
DO  - 10.4310/HHA.2003.v5.n2.a6
LA  - en
ID  - HHA_2003_5_2_a7
ER  -