Lambda calculus -- very informal

$\%l$

• variables, abstractor $\%l$, punctuation $(,)$

Lambda terms -- $ %L $

• $x\; \backslash e\; \%L$ \zline{variables}
• $M\; \backslash e\; \%L\; =>\; \%l\; x.\; M\; \backslash e\; \%L$ \zline{abstraction}
• $M\; \backslash e\; \%L$ and $N\; \backslash e\; \%L\; =>\; M\; N\; \backslash e\; \%L$ \zline{application}