<p>It should be this one:</p>

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

CC BY-SA 3.0
2012-04-30T00:44:15.207Z
2012-04-30T00:44:15.207Z
Mathias Ricken
<p>In which paper did Alonzo Church first describe <a href="https://en.wikipedia.org/wiki/Church_encoding#Church_numerals">Church encoding</a>? I can't find any articles that actually cite the paper, but I am interested in reading it.</p>

CC BY-SA 3.0
2012-04-30T01:27:46.557Z
Many of definability results about lambda calculus are by Kleene and Rosser, Chruch's students. I think there should be references in Barendregt's book.
Kaveh
<reference-request><lo.logic><lambda-calculus><ho.history-overview>
Origin of Church encodings
Snowball
# Origin of Church encodings

(Asked by: username_0 on 2012-04-29)

In which paper did Alonzo Church first describe [Church encoding](https://en.wikipedia.org/wiki/Church_encoding#Church_numerals)? I can't find any articles that actually cite the paper, but I am interested in reading it.

**Tags:** reference-request, lo.logic, lambda-calculus, ho.history-overview
> **Comments:**
> **username_1**: Many of definability results about lambda calculus are by Kleene and Rosser, Chruch's students. I think there should be references in Barendregt's book.  

---

## 1 answers

### Answer by username_2 on 2012-04-30. Score: 11 | Accepted answer

It should be this one:

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


---

