Term assignment for intuitionistic linear logic (preliminary report (1992)

by P N Benton, G M Bierman, V C V de Paiva, J M E Hyland