"A fresh look at programming with names and binders."

Nicolas Pouillard, François Pottier (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics