Lambda calculus application
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$$