Selected publications at LSV: 2003

GG03
J. Goubault-Larrecq and É. GoubaultOn the Geometry of Intuitionistic S4 ProofsHomology, Homotopy and Applications 5(2), pages 137-209, 2003. ( PS | PS.GZ )

@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},
}

About LSV