archives

Iteration function in lambda calculus

I have a function like this

iter :: Int -> (a -> a) -> a -> a
iter n f a = f (f ... (f a) .. )

how can i define such function in un-typed lambda calculus ?

any hint/help will be appreciated.