dePaiva. A term calculus for Intuitionistic Linear Logic (1993)

by P N Benton, G M Bierman, J M E Hyland, V C V
Venue:In: Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, Volume 664