A characterization of the Taylor expansion of lambda-terms. - Pierre Boudes; Fanny He; Michele Pagani (CSL, 2013)

The atomic lambda-mu calculus. - Fanny He (2018)