%0 Journal Article
%A Éric Goubault
%A Jean Goubault-Larrecq
%T On the geometry of intuitionistic S4 proofs
%J Homology, homotopy, and applications
%D 2003
%P 137-209
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a6/
%R 10.4310/HHA.2003.v5.n2.a6
%G en
%F HHA_2003_5_2_a7