Term assignment for intuitonistic linear logic (1992)

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