1
¿Relación histórica entre el cálculo tipificado de Lambda y Lisp?
Recientemente tuve una discusión con un amigo (que defiende los idiomas fuertemente tipados). Hizo el comentario: Los inventores del cálculo Lambda siempre pretendieron que fuera mecanografiado. Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De hecho, parece que explicó el cálculo de Lambda …