本文的結果可以通過將一階等價性和大步求值的概念應用於其他λ演算子計算模型來擴展。首先，研究者可以考慮不同的項集合，例如帶有原始項和額外還原規則的擴展λ演算。這些擴展可能包括帶有數據類型的λ演算或具有額外控制結構的計算模型。其次，對於不同的還原關係，如小步還原或其他非標準還原規則，研究者可以分析這些還原關係如何影響求值策略的定義和等價性。通過在這些不同的上下文中重新應用輕量級融合（LWF）轉換，研究者可以探索在這些擴展的λ演算中，eval-readback和eval-apply風格的求值器之間的等價性，從而為這些計算模型提供更廣泛的理論基礎。