Report copyright - Relating Categorical Semantics for Intuitionistic Linear Logic · Key words: intuitionistic linear logic, typed lambda calculus, symmetric monoidal closed categories, symmetric monoidal
Please pass captcha verification before submit form