olemus
defineerib termis M sisalduva muutuja x argumendiks
= defines the variable x contained in the term M as an argument

tähis: λx.M

ülevaateid
https://www.lambda-bound.com/book/lambdacalc/node4.html

http://www.coli.uni-saarland.de/courses/semantics-14/lectures/ST14-07-Lambda%20Calculus%20and%20Quantifiers.pdf

vt ka
- lambda-arvutus