Beniamino Accattoli visits Argentina — October 2012

Beniamino Accattolli, currently postdoc at Carnegie Mellon, will visit UBA during the first two weeks of October and will give a short course on lambda calculus, linear logic and explicit substitutions.

Bookmark the permalink.