x
slide
:
The lambda calculus -- properties