Lambda calculus application [closed]

I have a function application:

E1 E2

Can someone please show me an example, how to execute function?

closed as unclear what you're asking by David Richerby, Evil, Rick Decker, Juho, GillesFeb 12 '17 at 19:41

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

• It seems you are having trouble with some basic concepts, I recommend looking at the first chapter of Lambda-Calculus and Combinators: An Introduction, it has lots of examples. – Aristu Feb 3 '17 at 11:42
• I don't understand what you mean by "executing a function." – David Richerby Feb 3 '17 at 11:57
• I mean apply E1 to E2. – zero_coding Feb 3 '17 at 12:32

If you have at least one abstraction just go on $\beta$-reducing. It just works like taking an input $x$ and computing $f(x)$.
$$(\lambda x. x + 1)1$$ is an application.
$$[1/x](x + 1)$$ $$(1+1) \rightarrow_\beta 2$$