Classical linear logic of implications (2007)

by Masahito Hasegawa
Venue:Mathematical Structures in Computer Science 15(2):323-342, 2005. 23 Satoshi Matsuoka. Weak Typed Böhm Theorem on IMLL. Annals of Pure and Applied Logic