I think you mean typeless lambda calculus.