Sending the lambda calculus into deep space