Church's λ-Calculus (2023) [pdf]

 (cs.cmu.edu)

155 points | by jstrieb 16 days ago

46 comments