Origin of Church encodings In which paper did Alonzo Church first describe Church encoding? I can't find any articles that actually cite the paper, but I am interested in reading it.
It should be this one:

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