ITP 2014 talk

ITP 2014

The attched files are the article fulltrees.pdf at the time of ITP 2014 and the slides of the talk fulltrees-slides.pdf Arnaud gave at ITP 2014 in Vienna on the 15th July.