Edit history

Check out lambda calculus—it was created by Turing’s doctoral advisor in 1936, and thus predates real-world programming languages.

Check out lambda calculus—it was created by Turing’s doctoral advisor in 1936, before any real-world programming languages existed.

Check out lambda calculus.