Alonzo church lambda calculus
Princeton in the 1930's was an exciting place for logic. There was Church together with his students Rosser and Kleene. There was John von Neumann. Alan Turing, who had been thinking about theAlonzo church award
Alonzo church cryptography Alonzo church biography death
Alonzo church biography summary
Alonzo church award Alonzo church cryptography Alonzo church biography death Alonzo church lambda calculus