[mrkeen]

This looks to be another name for 'eta expansion/reduction', if you're searching for prior art in other languages.