Classical linear logic of implications (2002)

by Masahito Hasegawa
Venue:In Proc. Computer Science Logic (CSL'02), Springer Lecture Notes in Comp. Sci. 2471
Citations:11 - 4 self