On the geometry of intuitionistic S4 proofs (2003)

by J Goubault-Larrecq, E Goubault
Venue:Homology, Homotopy and Applications