answersLogoWhite

0

The reverse operation of lambda lifting is called lambda dropping. Lambda dropping is an algorithm that allows one to transform a lambda function back to different separate free-variables.

User Avatar

Wiki User

12y ago

What else can I help you with?