1. Noun. (computer science) A lambda expression which has no free variables in it. ¹
¹ Source: wiktionary.com