Representation lambda-Term