reference-request – Origen de las codificaciones de la Iglesia

Pregunta:

¿En qué artículo describió Alonzo Church por primera vez la codificación Church ? No puedo encontrar ningún artículo que realmente cite el artículo, pero estoy interesado en leerlo.

Respuesta:

Debería ser este:

Church, A. (1941) The Calculi of Lambda-Conversion. Annals of Mathematics Studies No. 6, Princeton University Press.

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top

web tasarım