1 citations · 1 across the 1 of their papers we have counts for
1 paper
Mateusz Zakrzewski
It is a common knowledge that the integer functions definable in simply typed lambda-calculus are exactly the extended polynomials. This is indeed the case when one interprets inte…