Short course by Beniamino Accattoli at UBA — October 2012

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.

Bookmark the permalink.