詳しくないけど「ラムダ記法に改良の余地がある」て話なら計算論的に本質的な内容過ぎてスレチな気がする
あとf(f)みたいな流派は初めて見た