Johannes Bader·Nov 6, 2025Tree calculus can define Church’s δ… whereas λ-calculus cannot. A quick demonstration.
Pavol Z. Kutaj·Oct 16, 2025The Annotated ‘Lambda Calculus From The Ground Up’: Part 7The aim of this multi_part series is to annotate David Baezley’s Lambda Calculus from the Ground Up Part6 focuses on the implementation of…
Pavol Z. Kutaj·Sep 25, 2025The Annotated ‘Lambda Calculus From The Ground Up’: Part 2The aim of this multi_part series is to annotate David Baezley’s Lambda Calculus from the Ground Up This, part2, is about numbers +…
![[Functional Programming] 初探 lambda calculus](https://miro.medium.com/v2/resize:fill:160:106/1*CKAOmVvczNPmCSx_bwG9sg.png)
![[Functional Programming] 初探 lambda calculus](https://miro.medium.com/v2/resize:fill:320:214/1*CKAOmVvczNPmCSx_bwG9sg.png)
