Erilaiset uudelleenkirjoitusjärjestelmät mallintavat yleensä erilaisia ilmiöitä (muuten niissä ei ole niin paljon pointtia).
aineistotovat myös koneita…
Koneidenkäynnistäminen
(λ a. a a)
varsinaisentuloksen.
perustelulyhennemerkinnälle (λ a b. b a)
kolmenlisäysfunktio.