On Intuitionistic Linear Logic (0)

by G Bierman