A unified treatment of syntax with binders. - POUILLARD, NICOLAS; POTTIER, FRANÇOIS (Journal of Functional Programming, 2012)