add lmbda calculus link from tom