本文提出了一种新的归纳型lambda编码，对于Peano数，它对加法和乘法等基本运算具有预期的时间复杂度，具有恒定的前置函数，并且只需要二次空间就可以对数字进行编码。这改进了Parigot编码所需的指数空间。与Parigot编码一样，新的编码在系统F-omega加上正递归类型定义（一种总类型理论）中是典型的。通过一个重要的案例研究，将新的编码与以前的编码进行了比较：使用Braun树的mergesort。在一小套基准上，通过两种翻译（一种是Racket翻译，另一种是Haskell翻译）比较了新编码以及Church和Parigot编码的实际运行时效率。