Johannes Bader·Nov 6, 2025Tree calculus can define Church’s δ… whereas λ-calculus cannot. A quick demonstration.
![[Functional Programming] 初探 lambda calculus](https://miro.medium.com/v2/resize:fill:160:106/1*CKAOmVvczNPmCSx_bwG9sg.png)
