Recursion is the art of solving a problem by assuming you already solved a smaller one. We trace it from induction to the call stack, expose why naive Fibonacci is...
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.