Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
constant number of applications. As such, it doesn’t work as a general model of computation, which is what we’re aiming for. How can we improve that? 3.a. Global definitions Let’s first try extending our language with a primitive for global definitions: term = λx. term -- function | (term term) --