lambda kalkul

Noun

 * 1) lambda calculus