Finding Reference

On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic

Ɓukasz Lachowski