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.
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.