Classical linear logic of implications (2002)

Cached

Download Links

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