Term assignment for intuitionistic linear logic, M. Bezem and (1992)

by B N Benton, G Bierman, V de Paiva, M Hyland
Venue:eds, Proceedings of the International Conference on Typed Lambda Calculi and Applications, Springer Lecture Notes in Computer Science 664