As we all know, computer science is built upon two foundational theories: the Turing Machine, proposed by Alan Turing in 1936, and the Lambda Calculus, published by Alonzo Church earlier that same year. These two theories laid the conceptual groundwork for what we call Universal Computation. They describe two technical paths that, while possessing...