このようなモデルは純粋に文法的なシステムとしてのラムダ計算と、具体的な数学的関数を扱うための表記上のシステムとしてのラムダ計算との間を結びつけてくれるだろう。
这样一种模型将形式化作为纯语法系统的lambda演算和作为操纵具体的数学函数的符号系统的lambda演算之间的连接。