Uma avaliação do cálculo lambda envolvendo números da Igreja
Entendo que um numeral da Igreja parece com (... n vezes ...) . Isso significa nada mais do que "a função aplicada vezes à função ". λ s . λ z . s scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Uma definição possível da função é a seguinte: . Olhando para o corpo, entendo...