On Intuitionistic Linear Logic (Ph.D (1993)

by G Bierman