Easy lambda-terms are not always simple.

Alberto CarraroAntonino Salibra
Published in: RAIRO Theor. Informatics Appl. (2012)