#functional programming #lambda calculus #function application #fp #mathematical function #code execution