Two researchers from U. Paris Diderot visit UBA — May/2014

Antonio Bucciarelli and Delia Kesner visited UBA for a period of 2 weeks starting 5 May. They interacted with the local group on rewriting and lambda calculus (LoReL). Antonio gave a talk on “Definability and Full Abstraction Problems for Lambda Calculi”.

Bookmark the permalink.