数。方法得名于阿隆佐·邱奇，他首先以这种方法把数据编码到lambda演算中。透过邱奇编码，在其他符号系统中通常被认定为基本的项（比如整数、布尔值、有序对、列表和tagged unions）都会被映射到高阶函数。在无型别lambda演算，函数是唯一的原始型别。邱奇编码本身并非用来实践原始型别，而是透过它来展现我们不须额外原始型别即可表达计算。很多学数学的学生熟悉可计算函数集合的哥德尔编号；邱奇编码是定义在lambda抽象而不是自然数上的等价运算。
邱奇数.邱奇数为使用邱奇