Wikipedia says that lambda calculus is a formal system. It defines lambda calculus by giving its alphabet, and inductively describing what is inside its formal language. Since lambda calculus is a formal system, what are itsaxioms and inference rules?Does lambda calculus have semantics? If yes, how does an interpretation of lambda calculus look like as a mapping from what subset to another?
What are the axioms, inference rules, and (formal) semantics of lambda calculus?
lambda calculus;semantics