"A characterization of the Taylor expansion of lambda-terms."

Pierre Boudes, Fanny He, Michele Pagani (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics