🧠λ♾️

#lambda calculus #computability theory #undecidability #alonzo church #mathematical logic #theoretical foundations

λ→⚙️

#lambda calculus #functional programming #function definition #theoretical computer science #alonzo church