Classical linear logic of implications.

Masahito Hasegawa Classical linear logic of implications. 323-342 2005 15 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129504004621 db/journals/mscs/mscs15.html#Hasegawa05