Categoria: Matemática

A Biblioteca Impossível: do Paradoxo de Russell ao Cálculo Lambda Tipado

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.