| @article{JGL:S4:geometry, | ||
| author = | {Goubault{-}Larrecq, Jean and Goubault, {\'E}ric}, | |
| journal = | {Homology, Homotopy and Applications}, | |
| number = | {2}, | |
| pages = | {137-209}, | |
| publisher = | {HHA Publications}, | |
| title = | {On the Geometry of Intuitionistic {S4} Proofs}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/S4G.ps}, | |
| volume = | {5}, | |
| year = | {2003}, | |
| } | ||