数学モデルの話じゃないんだが
一般的なCPUとスタックの形式では
ラムダ式の基礎となるクロージャ構造を簡単には作れない。
作成できたとしても
Cの関数と比べるとコストの差は歴然。
まるっきり専用命令とエミュレートの差。

これで答えになってないか？