Type assignment for intuitionistic linear logic (1992)

by N Benton, G Bierman, V de Paiva, M Hyland