ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS (2003)

by Jean Goubault-larrecq , Éric Goubault
Venue:HOMOLOGY, HOMOTOPY AND APPLICATIONS, VOL.5(2), 2003, PP.137–209
Citations:3 - 3 self