Thread and link to site about Tree Calculus, an alternative to Lambda Calculus as a minimal foundation for PL research.
神経発達症(発達障害)の言葉や観念の定義についての神戸大学のfaqページ