On intuitionistic linear logic (revised version of PhD thesis (1994)

by G M Bierman