Silvio Valentini: The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics. Math. Log. Q. 38(1): 39-58 (1992)