A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

[1]  Jean-Yves Girard,et al.  Linear Logic and Lazy Computation , 1987, TAPSOFT, Vol.2.