称.某一些lambda项有普遍接受的名称：其中有几个在“消除lambda抽象”中有直接的应用，将lambda项变为组合演算的术语。
消除lambda抽象.如果"N"是一个没有λ-抽象的lambda项，但可能包含了命名常量（组合子），则存在一个lambda项"T"("x","N")，这相同于一个缺少λ-抽象（除了作为命名常量的一部份，如果这些被认为是非原子的）的λ"x"."N"；也可以被视为匿名变量，就如同"T"("x","N")从"N"之中删除所有出现的"x"，同时仍然允许在"