Church's λ-Calculus (2023) [pdf] (cs.cmu.edu)
Church's λ-Calculus, Mathematics, Computer Science, Lambda Calculus
155 points by jstrieb 219 days ago | 46 comments