On intuitionistic linear logic (1993)

by G Bierman