section_heading: Formalna definicija
paragraph_text: Prva dva pravila generiraju funkcije, dok treće opisuje aplikaciju funkcije na argument. Obično su zagrade za lambda apstrakciju (pravilo 2) i aplikaciju funkcije (pravilo 3) izostavljene ako ne postoji nejednoznačnost pod pretpostavkom da je (1) lambda aplikacija asocijativna ulijevo i (2) lambda veže cijeli izraz koji slijedi. Na primjer, izraz <code>&nbsp;((λ x. (x x)) (λ y. y))&nbsp;</code> se može jednostavno napisati kao <code>&nbsp;(λ x. x x) λ y. y</code>.