Una evaluación de cálculo lambda con números de la Iglesia
Entiendo que un número de Iglesia parece a (... n veces ...) . Esto no significa nada más que "la función aplicados veces a la función ". λ s . λ z . s sCnortecnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnortennzzz Una posible definición de la función es la siguiente: . Mirando...