Functional Programming
demesisx
•
7mo ago
•
100%
Lambda Calculus vs. Turing Machines (Theory of Computation)
https://youtu.be/ruOnPmI_40gAdvait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Comb...
Comments 0