Beniamino Accattoli will be giving a short course on “Linear Logic, Lambda-calculus, and Explicit Substitutions” from 9-11 October 2012. For more information please visit here.Beniamino Accattoli will be giving a short course on “Linear Logic, Lambda-calculus, and Explicit Substitutions” from 9-11 October 2012. For more information please visit here.Beniamino Accattoli will be giving a short course on “Linear Logic, Lambda-calculus, and Explicit Substitutions” from 9-11 October 2012. For more information please visit here.