#### Filter Results:

#### Publication Type

#### Publication Venue

#### Key Phrases

Learn More

- Mateusz Zakrzewski
- ArXiv
- 2007

It is a common knowledge that the integer functions defin-able in the simply typed λ-calculus are exactly the extended polynomi-als. This is indeed the case when one interprets integers over the type (p → p) → p → p where p is a base type and/or equality is taken as β-conversion. It is commonly believed that the same holds for βη-equality and for integers… (More)

- ‹
- 1
- ›