Balabonski (U. Orsay) visits UBA, UNQ — Aug/2014

Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13/Aug to 24/Aug and interacted with numerous reserachers. He also gave a talk at the UNQ whose title was Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations.

Bookmark the permalink.