Thread and link to site about Tree Calculus, an alternative to Lambda Calculus as a minimal foundation for PL research.