Lambda Calculus on the Tech Tree