On the geometry of intuitionistic S4 proofs (2003)

by Jean Goubault-larrecq , Eric Goubault
Venue:Homology, Homotopy and Applications
Citations:3 - 3 self