I've heard that the functions that are definable in simply-typed $\lambda$-calculus is the class of extended polynomials. However, it is still not clear to me what exactly is extended polynomials. Could someone explain that to me? Some pointers would be good as well.Thanks.
What is extended polynomials
lambda calculus