使得"if-then-else"这类语句很容易用lambda演算写出。
有序对.有序对（2-元组）数据类型可以用TRUE、FALSE和IF来定义。链表数据类型可以定义为，要么是为空列表保留的值（e.g.FALSE），要么是CONS一个元素和一个更小的列表。
附加的编程技术.lambda演算出现在相当大量的编程习惯用法中，其中许多编程语言最初以lambda演算作为语义基础，在此背景下开发的；有效地利用lambda演算作为基底。因为几个编程语言部份含括了l