The judgement calculus for intuitionistic linear logic: proof theory and semantics (1989)

by S Valentini
Venue:Proof Theory and Semantics, Zeitschrift