Gavin M. Bierman A Note on Full Intuitionistic Linear Logic. 281-287 1996 79 Ann. Pure Appl. Logic 3 db/journals/apal/apal79.html#Bierman96